i don't think it is that well known of a "bug" just yet- I wouldn't think there are many with the sort of set up you seem to be running there. The change to the audio out to the optical cable runs along with switching the optical cable between the PS3 and your receiver suggestion.
For the moment I can't think of any possible solutions other than switching the optical cable from the TV to the PS3 when needed for gaming on there. A pain, i know, but might be the only way to semi-solve things.