Hi, scenario: I delete a movie while still playing it and it continues playing until the end, and only then is it really deleted. How does one, say on realizing the mistake, recover that file?