I agree, it's worth around $200 max, shipped. The really desirable pure PETs are the 2001-8 and SuperPET models. I have one of the former and two of the latter, but one of my SuperPETs is missing the second processor (making it essentially an 8032).

The good news with the 8032 linked in the auction is that if you live close enough and the seller goes for it, you'd save a lot on the shipping charges, so could probably put in a good offer. Of course pickup also ensures it doesn't get damaged in shipping, like many of these all-in-ones can.