I am really pleased with the Michelin's I put on our '13 EX. They are the Defender T+H model. They are a vast improvement, IMO, over the OEM's that came on the car. We got @34k miles out of them.
The Michelin's are nice and quiet on smooth roads to the point you can hear wind noise where before we couldn't. I run 35 psi in them and they are not harsh at all. While they are not cheap, I think they will more than pay for themselves in the long run by lasting longer and providing a more comfortable ride.
Funny, the older I get the more comfort in my rides the better.
20k miles on a 2013. That's very low mileage. But smart to replace tires that are old even though they still have tread on.
Given low annual mileage I wouldn't get top brand like Michelin-a brand I love but with your low annual mileage isn't worth the extra cost.
Being South Florida snow isn't an issue so all season tires aren't needed.
Take a look at Discount tire a forum sponsor for help choosing.