here's a file in the 'files' section that has a marantz 6400 dvd player, it's for the rc3200. download it and try it.
[Link: remotecentral.com]