RPmini/RP5 dilemma

I recently sold my Odin2pro, its a nice and powerful handheld, but being a bit larger/heavy, I actually didn't use it as much as my other handheld.

RPmini looks super promising, it seems like something that I'd use and carry anywhere I go. But the being only $20 cheaper than RP5, idk if its worth to go for the mini at all? The only doubt I have with RP5 is the fact that it might just end up like the Odin.

I have a trimui brick on the way as a filler for the time being until I get my proper daily drive. Should I pull the trigger or hold out for a little longer? These new handhelds release every single month anyway. And for people who bought RPmini, do you regret getting it instead of RP5? Anyone sold their Odin for RP5? What do you reckon?