Ho trovato la soluzione: esiste la funzione FileDateTime() che risolve esattamente il mio problema.