That said, I still think the $30k is ridiculous
Agreed. Maybe a couple years ago it would have been worth that, but not now. I've priced out some pretty high-end computers for my old government job, roughly on par with this one, and they went for $20k - $25k new.
But tell your friend good luck, I'll be interested to know if he sells it.