For whatever reason there is a 7K difference for the dealers you are talking to. Nationwide, it's 3K (as I mentioned a few posts ago). So, like pretty much every RV purchase I've ever made, a lot comes down to how far you're willing to travel to save a given amount of money. If it is 7K and you keep for 5+ years.... and the differences in model year aren't huge, I'd agree it would be best to take the cheapest trailer. Dealer service is also worth factoring in so buying local has other benefits.
Lots of moving parts with these purchases for sure. My last purchase came down to paying $1500 more for a unit on a lot 15 minutes from my house as opposed to driving 500 miles to pick one up. I bough locally and I suppose am glad I did. It never had to go back for any warranty repairs but who knows if the one 500 miles away would have needed to?