Those commands are probably available thru the serial control port of the Marantz plasma.

Celadon makes a nice piece that converts any IR command to a predetermined serial string.

We use these devices a lot on products that are TOADS, but have a serial port.

You may want to check this link below:

[Link: celadon.com]