Capt BK, two suggestions for your friend.
1. Start in "safe mode" and see if Windows Explorer will allow the deletion.
2. If no joy, open a Command Window, navigate to the file using keystrokes, make sure it isn't Hidden, System or Read-only and then delete it.