Sounds like your mind is made...best luck. Now just to pick floor plan.
The Winnie basement aircon will fade from availability. I would guess that some will retro-fit with rooftop units and some will go with the new(ish) idea of a "mini-split" aircon retro-fit. The mini-split is cheaper and more efficient than a rooftop unit.
Here's a very light overview of what a mini-split is, for those who don't know.
Kim and Steve, Mustang LCDR (Ret), '07 Damon Outlaw #1193
I have seen gross intolerance shown in support of tolerance, Samuel Coleridge
WE LOVE OUR OUTLAW RV