Ho provato con un accorgimento:

<?php
session_start();
// Controlla se l'utente è registrato, se si:
$path='/var/www/video/video1.ogg';
header('Content-type: video/ogg'); // dovresti mettere il MIME giusto
header('Content-Length: '.filesize($path));
header("Expires: -1");
header("Cache-Control: no-store, no-cache, must-revalidate");
readfile($path);
?>

Senza sessione DownloadHelper scarica lo stesso, ma così sembra di no. Ho fatto solo alcune prove, ora farò dei tentativi da altre reti. Grazie mille davvero! Speriamo bene...