Check craigslist and eBay for guidance. UCDavis had that same machine for sale recently for $2900, no takers. It's gone now so somebody made an offer, how much lower I don't know. At the other end, seems like I saw one in the Bay Area within the last year for $1000. If that's all the tooling and accessories, I'd price it toward the lower end and see what happens.
Sorry for your loss.