Genial .php! Ten sencillo como en el link que me pasaste. Solo le modifiqué unas cositas y al final quedó así:
descarga.php
Código PHP:
$enlace = "archivos/".$file;
header ("Content-Disposition: attachment; filename=".$file);
header ("Content-Type: application/octet-stream");
header ("Content-Length: ".filesize($enlace));
readfile($enlace);
Y funcionó. Mil gracias por todo.
Saludos. Marx.