Wow! Hats off mate, that's exactly what it was. I can't believe it's such a simple thing, I have no idea what's header stripping, not that it matters.
By the way, the TV is not samsung, it's LG 32LH5000, I was just about to try to flash its firmware, which I *really* don't want to risk, and it was this all along. Well done!
Here's a pint for you!