How important is a Mario game's soundtrack to your enjoyment of the game?