With that absurd doc fee, the dealer discount here is less than $1,000.
Of course it’s possible that they’re over-allowing for your trade, but given the absurdly low discount it’s more likely that you’ve been IDd as a low-information shopper and they’re trying to exploit that and also steal your current car.
Get 5+ offers to compare. It’ll take you 15 minutes.