Update:
It's been repaired. One hole is oblong but it's all tight enough to be safe according to him, so wheel not needed.
He was supposed to drive it out to me & I'd take him back... but he (forgot?) before leaving. So I'm still waiting to get the car.
$50 lugs, $80/hr for one, & tax, & $80 tow. So $225.
It has to be something from the last job. That job was that tire off, and only that tire. The lugs loosened.
Thank you everyone for the ideas!! It's all good to know, as I hang out with this car!