The funny car tires didn't do what they were supposed to do (ie, provide traction :lol: ) so I haven't used them. After finding that AWD doesn't have a huge effect on top speed, I've abandoned the idea of going RWD.
Top speed according to the Tamiya Speed Checker is 38kph (23mph), which isn't really all that fast, but it certainly reaches top speed in a hurry.
After some experimenting, I think Divx/mpeg4 is the codec of choice.