Didn't even notice this originally: Apparently, it's remixed from the Wonky Circus theme in Wario World. Pretty neat really. Anyone else not realise this till Mario Wiki pointed it out?