Verified answer

En ares es mas sencillo descargarlas:

http://ares.softonic.com/

Este es un juego para aprender a tocar el piano que viene con mas 500 canciones, que puedes utilizar aparte, para Synthesia

http://synthesia.softonic.com/

Bye :)

el formato es midi, y puedes buscarlas en internet, aunque para piano vienen casi puras de musica academica, bach, chopin, etc, de esas pop o rock que dices tienen muchos instrumentos, descargalas y veras de lo que hablo saludos

cualquier pagina de midis, archivos formato kid o kar son compatibles;)