Cool! I didn't think there would be anything to test so soon!
I just tried both the 42kHz and the 336kHz variations. They both work. The 336kHz version seems to work quite a bit better than the 42kHz version. Neither of them work very well though.
I tested power toggle (POWER), discrete power on (Power On), discrete power off (Power Off), contrast (CONT), brightness (BRITE), and the arrows (Up, Down, Left, Right).
With the 42kHz version, only the power toggle (POWER) worked. It took several tries, angles, and distances for it to do anything.
With the 336kHz version, the power toggle took less fiddling than the 42kHz version, but it still didn't work right away. Discrete power on and off didn't work. Contrast and brightness worked, but not consistently. The arrow buttons didn't work.
Here is a pdf of the two pages of the service manual that contain IR info. Perhaps this is what you already have. I have the rest of the service manual if you need it (it is 42MB though).
http://vynce.home.mchsi.com/ecp4100/ecp4100_ir.pdf
Thanks for your work on this. Hopefully we can get it working reliably.