What do you think I should ask for it?

Yep... Start at $2,500 and dont hesitate if someone offers you $2,000.
Unfortunately "elbow grease" doesnt have a price these days. It is what it is.
Best of luck on the sale.

-RPM