The RMi is definitely the better unit, although a 9900k paired with a 2080ti is usually recommended a 850w psu. Just the gpu alone (like the msi gaming with OC) have been clocked at 370w usage, on top of the possibility of another 250w from the cpu. Add in another 100w for the rest of the pc and you'll be topping out at possibly just over 700w. While the RMi is built to take that kind of beating, it's cutting it quite close.
If you use a more moderate 2080ti, not the highest ranked, tdps are closer to 250-300w instead, so even with gpu boost, they don't get much more, and if you stick with stock clocks on the 9900k and not opt for the 9900KS and full core 5.0GHz turbo, then you'd be closer to 200w there, putting totals closer to 600w or so, and much better off for the RMi.
Personally, I'd stick with the 750w RMi at first, and if you do decide on over the top performance, then opt for an upgrade, but I'd not use the TXM, I'd be looking at the RMx/RMi 850w or Seasonic Prime Titanium 850w etc.
You are looking at seriously expensive, top-line equipment, shortchanging the psu is the absolute last thing you should even consider. It should be a priority item.