For the pin 19 trick. is there a HDMI connector plug which you can use? One could customize a plug to tear out one pin. on one side.
Just thinking out loud.
I was actually thinking of using the DVI -> HDMI cable and completely removing pin 16 on the DVI end
Would be the same as covering pin 19 on the HDMI I believe
Whilst the tape works I might just leave well enough alone