If the videos don't play, install the DivX codec.  I've mirrored it <a href=DivX511.exe>here.</a><br>
2.8M	<a href=burrito2.mpg>burrito2.mpg</A><br>
4.2M	<a href=equinix-to-gas.mpg>equinix-to-gas.mpg</A><br>
 19M	<a href=gas-to-home.mpg>gas-to-home.mpg</A><br>
4.6M	<a href=home-burrito.mpg>home-burrito.mpg</A><br>