MP3 filenames. I know you did a Red Book rip of the game, so I guess it also music in files on the disc? Or maybe there are multiple version of the game, because that page does suggest that each BGM track is tied to specific courses. I've only played the N64 version, so I dunno for sure.