I have the same issue. What is the model number for the replacement board, where did you get it, and how much did it run?
When you say it was a hassle, how big of a hassle are we talking? Was it worth it?
I have to hook my PS3 up via component because of this issue. Also I cannot hook my new receiver up via HDMI because of this issue. My HTPC works fine via HDMI because it does not send an encrypted signal.
Any info on the fix process would be of much help!