Here are some comparison of the sizes. Friend is letting me use his 9 for a few months to try it out. I think I’m close to packing my 7 out!
I've had an x40/9 for a long time, but now it's got some mold growth in the sealing ring (where the bellows meets the tube)... so I'm a bit lost on if I should get a new one or try to contact their support team, it's about 6 years old and I didn't register it so I'm feeling unsure what they'd be willing to do about it.
I'm leaning more into getting a new one since 6 years is a pretty respectable life for a product like this (laptops become obsolete through upgrades by the 4 year mark after all, and that's been happening since the early 2000's, and let's not even look at the cellular market)