I wonder, have you ever considered using Bink codec? Or are there any licensing issues I am not aware of?
Bink is commercial. I think it's like $5,000-$6,000
per OS for the SDK. I you want to fork over the $18,000 needed for just one developer to do the Bink code, then you can send the check my way.

I think we'll just stay with Theora though, it's file sizes are a good bit smaller than even DivX. Plus, I've got video almost working in the player now. I just need to get the YUV->RGB conversion working better, and
much faster. Then it's on to audio, and after that it's done.
