It might be worth $10k-$15K depending on the market, maybe as much as $20k to the right buyer. If you have all records, and none of the seals and gaskets are worn out, you might be even able to get as much as $25k...