@elosha

It just turns into a tax deduction for Vulcan
where Jody gets to decide who gets the
money. I think there is zero chance any of
it will come to the Computer History Museum.

Sadly, LCM was never a non-profit (they never completed the paperwork before he died)
and Paul's machines were just on loan to them