I come up with 8,125 rpm (that's all theoretical IMO), but it's late here too so who knows what the right answer will be in the morning.