You know these things are built in Canada, right? Fourteen hundred bucks to ship a car from there all the way to Florida seems about right.
I always thought "doc fee" was like a loading dock fee.

It was explained to me that the army of office workers that handled the paperwork needed to get paid somehow. But, I'd think they could include all than into the base price of the car. (???)

It's a shell game. This is why one dealers "out the door price" as compared to another's doesn't really mean much. It's like comparing apples to onions.
In my opinion, the best thing one can have when car shopping is to have a great credit score. They'll bend over backwards to sell a car to you then.