Buscando midi's años 80

Hola
Alguien sabe de algún sitio donde haya midi's de grupos españoles de los años 80?
gracias

en http://www.sf2midi.com suelen tener de muchos grupos, pero los españoles francamente no están muy abundosos...