Until Mozilla finally ships H.264 using <video> means you have to double-encode every single file, once using comparatively primitive tools, or use Flash as a fallback for Firefox and IE8. Until then, GIF files are much easier to work with.