In the hakdama to peas hashulchan, one of the talmidei hagra tells a story about the gra, at one point he says about “how many songs Moshe Rabeinu rwveived at har sinai”
Will find the exact quote for you later. I cant really use hebrew books (on a cellphone, and its much more difficult on this) so I’ll just write it out