Thanks for posting this. I've been meaning to compress the mp4, but hadn't gotten around to it just yet.