I have lost the manual for our Craftsman lawn tractor. It was bought in 2002. I have the serial number, but would like to know the horsepower, size of mower deck, etc. and also how much it would be worth now. Originally it sold for $1600. We bought it used from the original owner---it has been well-maintained and serviced.