I guess they'd have to figure out how to loop the music properly, or they could just have a couple seconds pause before starting it again. Personally I'd rather listen to each dungeon's theme even if they aren't that long, rather than the same theme in every dungeon. I don't think the battle theme is that much longer either