I saw that tweet back when Andrew posted it, bravo on entering into a whole new world!
Not sure if it is a path I'd personally take though (but then again, I don't know how much of a steal he got it for?? And a certain point you just can't say no!).
As I keep an eye on RED prices now and then.
RED ONEs have for a while now been ultra affordable, but they're such extremely heavy beasts! (and suck up power & media) That's why all those years ago I went with a Sony PMW-F3 instead, as my personal experiences with RED ONE meant I didn't want one myself.
RED Scarlet MX have finally got to the point they're ultra cheap too, but they're a bit too crippled vs an Epic. Plus the MX sensor is so old. (who wants to go back to always shooting at 800 ISO? And never going higher. Not me. And arguably you should even still shoot 320 ISO, if you want a cleaner image, say if you doing green screen)
Thus I feel you have to look at the bare minimum of an DSMC1 Epic Dragon (or newer)
But you could buy a brand new Sony FX6 / Canon C70 for that price! Or an URSA Mini 12K.
Or if looking at secondhand, a Sony F55 or original ALEXA. Or a Panasonic Varicam LT / Canon C300 mk3 is also in the same ballpark.
And if you start looking at the more recent REDs than that (DSMC2 bodies), you're then reaching into ballpark price territory for an AMIRA, or Sony FX9, or Canon C500mk2.
Is a personal preference thing, but I'd happily take any of those other alternatives instead.