Should he delete the saved variable file also, to be sure?