One thing you might consider is letting users drop their own background music in. Playdate can play MP3 files natively, by the user sideloading the file into the data folder for the app. Check out Audition for an example of this. That way, users could add a MP3 of the Gameboy music for Tetris, and get you out of any copyright issues.