Another song with around the same number of beats per minute is "Another Bites the Dust".
You might want to sing that one to yourself.
I assure you that I was not thinking about a song when this was going on.
Correct. You want to compress at 125 BPM.