I've found the DS versions of the song files around, but I don't think I've seen the updated versions for the 3DS port.

Has anyone ripped them?