The music slider under audio settings doesn't work. The other slider switches function normally. Is this a known bug? Is there a fix ? One can only take so much Wagner !!!