IMO that's a good price - depends on the hours though. I've had good service with the Craftsman "brand" (depending on the year, probably made in the same plant with the Huskys and such) so if the hours aren't high and it runs well, it sounds like a fair deal to me.