Yeah, the main Mario theme is a classic, but its popularity is due more to being from such a landmark game than actually being a good piece of music. The underground theme was more pleasant to listen to. Meanwhile, Those Who Fight/Let the Battles Begin! is a pretty damn sweet battle theme, so I gotta go for it.