There appears to be a random choice of 11 different music tracks assuming that the list I found in this source is accurate but note that this includes a special theme that is not normally used.What battle music is played (don't want downloads or anything, just names, i.e. Sinnoh Rival theme), and is it possible to customize it?