How much is my TCD648250B worth?

I've got a Series 3 HD. Model # TCD648250B. For a long period of time it had a 1TB drive which finally gave out. While opening the case we noticed that some capacitors on the power supply were swollen. A friend of mine who works on electronics replaced the capacitors. So now it has the original 250GB drive besides no swollen capacitors. It took a while to get the repairs done (this was over the summer). During that time I bought a different DVR, so I don't need two. I've plugged in the Series 3 HD and run it for a while to test it out, recording various shows and it runs fine. It's also been upgraded to handle Rovi guide data.

I don't do eBay so it'll be a local sale on Craigslist in central NC. I've tried looking at eBay but have not been able to determine what it's worth. It's also in good cosmetic condition, besides being functional. With original box, remote and manual. And, yes it has Lifetime Service. What would the experts on this forum recommend I ask for it?

Thanks for reading this and your feedback.

Russell