I use to make alot of game videos, I used Sony Vegas and encoded in WM9 (windows media codec) and reduced the fps from 30 (what i recorded at) to 10 or 15 based on the pace of the action. Choosing the lowest fps you can is a good tactic to drastically reduce file size and if done right people wont even notice it.