I look at MP4 and see some encoding with a thousand options.
I think HANDBRAKE does this well but given how these standards are not standards at all I can't guess if the MP4 would play on what you want.
Bob
What is the easiest and cheapest way to convert a mpeg to mp4?

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic