Rumor: Super Mario 3D Land - now with orchestrated music?