Surprised it took this long to make a WinPE boot disk with a script to unlock the drive and delete the file. We had to do a similar process when a script went haywire and corrupted the user profile service on hundreds of devices. WinPE supports PowerShell which is extremely convenient for making the process completely automated. The hardest part is getting users to boot to a USB device (or getting into BIOS to change boot device).