I poked around a little and you're in the ball park.
Little high but good start, better to be a little high and work down then not get what you want or need.
That's just a guess without being there or even looking at pictures...Hint, Hint, Pictures carry 100 times more weight than words!
I would guess the dealer wanted to give you somewhere in the 6K to 8K range as a trade in? And was knocking the Bush Hog Loader too, which is actually a very good quality built loader.
One down fall to the L3000 is they are not fancy or super equipped, they are a simple work horse tractor.
That fact that it has low hours and great to excellent condition both play in your favor.