Also, ich würde dir noch www.webmidis.com emfpehlen. Da gibts midis zu vielen Musikgruppen (einige sind zwar nicht wirklich toll gemacht, aber immerhin ^^")
Ob es die von dir genannten Gruppen dort gibt, weiss ich auch nicht, aber du kannst ja mal suchen