That was Jon, not me who converted those codes for you (I was windsurfing at the time).

I still find it hard to understand that the 0000 format works and the 5000 format doesn't, but I do understand that a clean copy in 0000 format just gets converted to 5000 format.

I guess we need to generate unclean 0000 format. I may need to experiment a little with PENG to see how close I can get to the correct signal and still be far enough away that PENG won't recognise and change to to 5000 format.