From what I understand, the PS3 plays normal mpeg4 video files. An easy and free way to convert formats is to download QTAmateur. It lets you use the standard QuickTime export function, and also lets you re-encode files in batches. Just dial-in the right export settings and you're good to go.