You're right, bad day! I went through that job before last. It turned out they did me a good turn, the place I retired from was the best job I ever had.
This is the reason all the personnel departments were changed to "human resources" some years ago, a resource is something to use up and throw away.
