[Landseer]

I don't know, Normy, not seeing your car.
But after living the 84,5,6 market for 2 years, I'd say that was pretty high.

We saw a bonafide 12,000 mile 85 auto sell for around $13K to a special afficiondo last summer after languishing for a year at higher prices.
Saw a 86.5 repaint (very nice_ with up to date maintenance but some interior wear, 130k Mi, 5 speed, go for $3700.
Both near my backyard.

My 86 auto came home to me, needing TB/WP/MM/ Brakes, but with 73K mi, last owner elderly/his for 22 years, for $2K delivered.
85, similar, one owner, less miles, but more deterioration from sitting, came for $1700 and the middleman made money. Both are rocket sleds.

These are drivers, all. Preserved, pampered, low mileage cars are a total different story I understand.