If it makes you feel any better, I'm usually the one that gets beaten to the punch.Edit: Now how did Bryan beat me to it? Ah, those young fellows are just faster at everything.
The Apple help page had the fix.
Hold down the option key and click on empty trash.
Voila!, files gone.
Thanks all for your time and trouble.