I don't even make movies but the Red reputation + general deviant behavior in terms of buying unnecessary tech makes this a dangerous search on my part too. Wish the FB algorithm would stop recommending them (though not enough to manually tell it not to....)
I got a Komodo a few months ago in LA area for $3500 used with multiple cards and gold mount batteries, outrigger handle, pl mount adapter, etc. They’re out there, a lot of people upgrading to the X.
Red Komodo 6k
SmallHD indie 7 with Red control
Red outrigger Handle
2 512GB cards
2 Canon BP-995
4 Jupio BP-975
2 NEO Mini 98wh
SmallRig Handle
BP battery charger
CFast 2.0 card reader
Core SWX Battery Plate