[FatMagic]

Plaxi,

I think there is a way to do it.. I'm not sure how, but I know you can change battle music midis if you have them. If you can get a hold of that song's midi file I think you can do it easily with a simple file swap/rename.