Zur Not würde ich immer dazu übergehen, Videos auf Youtube zu hosten und dann entsprechend einzubinden.
Für solche Videodienste gibt es aber immer auch die passenden Downloadtools (+ Konverter), die der Nutzer vermutlich sogar schon installiert hat.
Im Quelltext der Seite nach der Flashdatei suchen und sie herunterzuladen um sie "per Hand" umzukodieren können da weniger.