Hi,
wenn du ein Video zum Download anbietest, und die Dateierweiterung mit einem Player verknüpft ist, startet im Normalfall sowieso der Player automatisch. Und zwar genau der, den der User eingestellt/am liebsten hat.
Wenn dem nicht so ist, wird das Video eben geladen und der User kann sich das lokal ansehen.
Deshalb sehe ich den Link als die beste Alternative