I'm also trying to decide between Keysight 1000X and Rigol 5000 series. Spec-wise, the Rigol blows it out of the water, but I'll be using it for a general purpose microcontroller stuff, paired with a Saleae Logic Pro. Although scopes are considered the primary workhorse of any electronics lab, for strictly microcontroller work it seems agreed that the logic analyzer takes this role. Custom decoding profiles on the Saleae make it a necessity.
The spec's should make it an easy decision, but I'm actually considering whether the better UI and smaller form factor are more practical on an everyday basis than an extra 1.75x bandwidth, 4x Gsa/sec, 200x Mpts, and 10x wfms/s. There's also touchscreen, which seems nice but I wonder how often it would really be a gamechanger. I wouldn't be investing in the MSO adapter so that feature isn't useful to me.
On paper, this seems like a stupid comparison, but in practice, the Keysight seems a lot more refined and nice to use, and the spec's seem more than enough for my purposes. Hypothetically when working on microcontrollers, this would only be used for verifying signal integrity, after which most of the debugging work would be done on the Saleae. As much as I'd like to pay less for much bigger numbers, I suspect most of the capability will go unused, unlike a faster, better designed UI.
Thoughts? How much better is the Keysight UI, really? What are the differences in practice, and how would those affect work efficiency with microcontrollers?