Yea, that's pretty much all of the cinema cameras...JVC's LS300 will receive a 4K/60p and 10-bit 4:2:2 4K/24p/30p firmware update in May.
RED Raven $10K-$12K setup. More than the Mini, but a few more K might be worth its recognition and respect.
I was thinking about the mirrorless cameras too:
Olympus E-M1 Mark II
All cameras under $2K with a banging image.
A new Canon, Sony and Panasonic cinema camera may or may not be on their way. (Just rumors, but a new Canon cinema camera like a C200, a new cheaper Varicam LT, and a new Sony FS5 II.)
If all three would be under $10K and have all of the features that the UMP has and more (besides RAW), then will one pay $6K for color science? I don't know.