Oh they've just been at a local luthier/tech. I've got a laundry list of guitar problems, and just knocked out a bunch of them finally.
The '72 thinline was dropped on stage like 15 years ago and it's been kinda fucked up since then, particularly the jack. He fixed that, and cleaned everything off. And I just finally swapped the ugly black dunlop straplocs that I bought when I was 16 off of it and put some regular fender vintage strap buttons on it.
The OOO15M at some point got out of whack, I think possibly with the move from Austin to NC. The neck was a bowed - it was still playable but the action was crazy high once you got even a bit up the neck. Fixed that, set it up, etc
The J45 has always had intonation problems. He fixed that and set it up.
And the PRS honestly has always been perfect. And so I've never done a thing to it. It just had some nasty oxidization and grossness on the pickups and the frets were really nasty. Green. He cleaned it up.