Those look correct - the model is dec 135.69 which equates to 8745 I think.

Those codes work perfectly.

Thanks - I think the Hitachi PJ-TX300 is just a revamped PJ-TX200 which is based on the PJ-TX100 .. so the remotes are pretty much the same.

Thanks again for you help.

Paul.