It's not sped up... Look at the reflections of people walking by in the game beside that one at around 40 seconds... (Or just watch the game next to it...) It's all real-time.
What are you guys talking about "people can't move that fast"?
Have you never seen a profesional pianist playing a fast song?
Besides, just watch some of the "Dance Dance Fever Shake Your Butt" junkies at the local arcades... I used to think no one could really get very far in those things, but it's actually kinda cool to watch a person do (when they can do it well.) I've actually seen a couple of people dance in circles on each other's pads getting 100% everytime...
Anyhow, that kid needs a new hobby... Pounding the crap out of a bunch of buttons on an arcade machine isn't... Oh... wait... That's exactly why we're all here... uh... never mind...
