what you can do is use pocket pc divx encoder
http://divx.ppccool.com/ , which i use on my ipaq
it does a lot more than the psp video 9
if that fails, you can always use TMPGEnc (Excellent product)
just type it in to google and you will find it
hope that helps