The options as they were before the last key was read by the game selection menu, so that the tune can be played when an option has changed. It is kept when a new game is started after a game over (see StartGame_KeepSettings).