Vintage Infocom collection on eBay

Can be yours for a mere $155,000. (No, I'm not the seller, but I'm curious who is!)