Tetrazini: Add option to mute game sounds.