Might be. What's confusing is a $40K price for the FB posting (which is presumably the "older" ad, with the stencil), and the $20K for the Craigslist. Did the guy try to fix it, give up, and is taking the loss?
Or, did the Facebook seller meet reality, sell it for more like 10K to the craigslist seller, he removed decals, fiddled, gave up and listed it? Just seeing those wires and plate hanging from the apron in both
listings makes me wonder how much progress the second owner (if it is a second owner) even made.
I only make up this story because my I/M 10EE came from a machinery dealer who listed it on ebay. I offered them 1/2 of their asking price, and they said "ok, if we don't have to finish fixing the drive & make it operational". It was apparent the dealer got it at auction, straight from Sandia Labs. Seems like the lab had given up on troubleshooting the drive. The machinery dealer had simply removed the big decals on the upper left of the headstock and removed two of the contactors in the JIC cabinet.