I think it's a fair price
for the boat.
If you can, try out a bunch of other boats in the same price
neighbourhood (say $1k to $2.5k). In here you'll find choices ranging from fun fast dinghies (eg Wayfarer, CL16) through to maybe 22' or 23' cruisers needing some love.
There are compromises in making a 13' cruiser:
PLUSES - inexpensive, easy to handle, stable, cabin
MINUSES - less nimble than a dinghy
, possibly slow on light days, bouncy in big water
, small cockpit
But for the right people on a small lake or sheltered harbour, it could be a fun first boat, and should be easy to sell again if you want to move up.
Our boat is about 19' and seems to be a great blend of fun-to-sail, yet has useable accommodation for a 2 or 3 day trip, for the lakes we enjoy.