I've heard somewhere that Mario Forever uses some public domain soundtracks for World 2, World 3, etc., but I can't really find those. Where are they? How are they called? Is there any royalty or charge to pay? I'd like to use that music for my own stuff. Does anyone know?