Ended up selling it on E-Bay to a collector.
I just checked Ebay and there’s a vintage Osborne now going for $199, “as is.” Apparently, it powers on, but seller who found it at a garage sale can’t guarantee it actually works. I think I’ll drag mine out of the attic and give it a go. I’m amazed what collectors are willing to pay for stuff. I don’t know what you got for your Lisa, but it probably wasn’t $10K! :-)
As I remember I got close to $900 for it and only that because I still had all the software and manuals that came with it.
The hard drive wasn’t working and I did not know why but the fellow I sold it to collected vintage computers and told me later in an e-mail that it did not take much for him to get the hard drive working fine.
So this guy got a Lisa in very good working order for a computer 25 plus years old.