Cool stuff, but WAAAY overpriced. Let's say the cabs are 2K apiece, that amp although rare is worth 3-4K tops. Orange tolex worth another 5-6K? Not.
And those prices reflect matching speakers, date codes, no cone rub/recones, etc. The amp having no issues of course. So many guys ran normal 12ax7s in them, and boosted them when you aren't supposed to that I'd have a hard time believing that no issues are coming.
But he can ask whatever he wants, a collector might bite on it.