Just the other day someone was trying to print something and their printer had defaulted back to that and when they tried it elsewhere it did that, too. They were on 4.40 or 4.50 - if I could remember the client, I could tell you for sure. I do know it was just the one time, though.