Wright Stander X vs ZK Gen 3 (Texas)

After doing a quite a bit of research about my particular situation, I’ve narrowed down my options to the Wright Stander X or the Wright ZK mowers. This will be for personal (non-commercial) use on a little more than 1 acre with a few decent sized slopes (steepest being ~17°), and uneven terrain. I’ve been mowing most of the lawn with a push mower to avoid scalping, and it takes several hours. Years ago when attempting to mow using my old garden tractor (Cub Cadet with 50in deck that I bought for use on a previous property) it looks awful. Scalped to hell even on the highest deck setting. I’ve read that the AeroCore floating decks found on the Wright standing mowers are great for slopes up to 20° (on the Stander X) and 25° (on the stander ZK). If you have experience with these two mowers (or any others that may work well for my situation) could you provide any insight that would help me decide? Specifically, I’d like to know if the ZK is worth the extra ~$4,000 over the Stander X. I’d love to save $4k, but I plan to keep this mower forever so I want to make the best choice long term. I am located in North Texas, and my lawn is Bermuda. For the Stander X I would get the 48in deck, and the ZK would be a 52in deck. Thanks in advance for any help and advice!