If you wanted to, Resource Packs can also change the in game music I believe. So if you had an MP3 of the desired record, you could stick it in the resource pack and have it play in place of the normal Minecraft music.
Rollback Post to RevisionRollBack
Co-Owner of a new MMORPG server! If you're interested in helping build the server, please click here!