Yes, worked for me too. I downloaded the file, it also has as many pixellations as the flash version, still looks bad
Here's a comparison of the .mp4 downlaoded via Firefox Video Download Helper and the original one:

Original:
name 20100502_028.mp4
Format : MPEG-4
Format profile : Base Media / Version 2
Codec ID : mp42
File size : 7.47 MiB
Duration : 17s 280ms
Overall bit rate : 3 624 Kbps
Performer : Bennypr0fane
Encoded date : UTC 1970-01-03 06:03:00
Tagged date : UTC 1970-01-03 06:03:00
Classification : (empty)
Classification_Reason : 31a7663034198221b6f598c88319a4fa

Video
ID : 2
Format : MPEG-4 Visual
Format profile : Simple@L5
Format settings, BVOP : No
Format settings, QPel : No
Format settings, GMC : No warppoints
Format settings, Matrix : Default (H.263)
Codec ID : 20
Duration : 17s 275ms
Bit rate mode : Variable
Bit rate : 3 504 Kbps
Maximum bit rate : 3 894 Kbps
Width : 848 pixels
Height : 480 pixels
Display aspect ratio : 16:9
Resolution : 8 bits
Colorimetry : 4:2:0
Scan type : Progressive
Stream size : 7.18 MiB (96%)
Language : English
Encoded date : UTC 1970-01-03 06:03:00
Tagged date : UTC 1970-01-03 06:03:00

Audio
ID : 1
Format : AAC
Format/Info : Advanced Audio Codec
Format version : Version 4
Format profile : LC
Format settings, SBR : No
Codec ID : 40
Duration : 17s 280ms
Bit rate mode : Constant
Bit rate : 132.3 Kbps
Channel(s) : 1 channel
Channel positions : Front: C
Sampling rate : 48.0 KHz
Stream size : 274 KiB (4%)
Language : English
Encoded date : UTC 1970-01-03 06:03:00
Tagged date : UTC 1970-01-03 06:03:00


And OVI:
name OVI compressed.mp4
Format : MPEG-4
Format profile : Base Media
Codec ID : isom
File size : 1.88 MiB
Duration : 17s 250ms
Overall bit rate : 916 Kbps

Video
ID : 1
Format : AVC
Format/Info : Advanced Video Codec
Format profile : Main@L3.0
Format settings, CABAC : Yes
Format settings, ReFrames : 1 frame
Codec ID : avc1
Codec ID/Info : Advanced Video Coding
Duration : 17s 250ms
Bit rate mode : Variable
Bit rate : 816 Kbps
Width : 640 pixels
Height : 368 pixels
Display aspect ratio : 16:9
Frame rate mode : Constant
Frame rate : 29.970 fps
Resolution : 8 bits
Colorimetry : 4:2:0
Scan type : Progressive
Bits/(Pixel*Frame) : 0.116
Stream size : 1.68 MiB (89%)

Audio
ID : 2
Format : AAC
Format/Info : Advanced Audio Codec
Format version : Version 4
Format profile : LC
Format settings, SBR : No
Codec ID : 40
Duration : 17s 194ms
Bit rate mode : Variable
Bit rate : 96.0 Kbps
Channel(s) : 2 channels
Channel positions : Front: L R
Sampling rate : 48.0 KHz
Stream size : 199 KiB (10%)

Here's the link.

We're still stuck with Youtube as the only decent solution.... *sigh*