This player is made by Funai. So it almost certainly uses some variant of the NEC1 IR protocol. The trick is figuring out which device/subdevice numbers are used.
Here's the link to Funai support:
www.funai.us/funai/support/index.html. You can download the manual by typing in the model number.
Why not email them and ask which IR protocol is used? For example, it might be NEC1, device 135.34.
If you buy a UEI remote (newest is RCA RCRP05B, $20 at BestBuy, but many cable companies also use UEI remotes--tell us if you have one), we can figure out which function commands are needed. But we will either have to find out or guess the protocol and device numbers, and make sure that the protocol/devices are built into the remote.
I would not expect a Philips/Magnavox remote to have a better chance of having the right code-- this is really a Funai product.