Not that I know of. Is it possible she changed a setting on the tv or receiver so its not decoding the dolby digital channels? First thing I would do, is reset the receiver. If that doesnt fix it, check that your audio settings are set correctly for whatever you are using to play the audio.