It's not that I don't believe you, but it would be great if someone would <i>properly</i> encode that file as MP4 so we could see the quality and size for ourselves. I'd do it but I don't know shit about encoding video.