Trust me, I've done a thorough search. And if I (or my local system???) had deleted it somehow, it would be in the Recycle bin, which it is not. I've talked with the help desk, and they'll be discussing it at their meeting tonight - to see if anyone else has had a similar problem. Glad I had a very recent backup!