Another benefit of using mp4 is you can make the same file available for iPods, iPhones, etc. if you want to.
Like on this tour page.
(I have multiple optimized files available for download on that page but the only one that is really needed is the one labeled QuickTime as that will also play on iPods and iPhones. The QuickTime one is the same mp4 that is embedded into the Flash player.)