I left them all deleted, ran Eraser on that directory (default). It ran very quickly but did nothing. The deteted files were still there.
However, I have since ran Eraser to delete all free space on D and that ran a very long time and did indeed erase everything. So, It appears that it will...