Both the C200 an the EVA will be great tools. I've seen some extremely impressive C200 video shot in RAW. There's no reason to fanboy over one or the other...
Just looked it up. $7,000 in 1992 dollars is only $12,195.74 today. For that budget, I'd definitely rent nicer gear rather than buy. You can rent a C300 Mk II kit from Adorama for $885/wk.
If you have (or are) a good producer and know you're going to be on this show, I'm sure you can find someone to donate gear for publicity. I'm sure you can find a decent crew for $0, too...
I'm not surprised you had the issue. People talk about the magenta issue as if it were a thing of the past, but it's still an issue with shooting with smaller apertures than f/5.6. Even this article talks about it like it's a thing of the past, but I don't think it is. I also had the original 4.6k and am also now gun shy with spending any real money with them (would buy a new pocket cam in a flash though).
If Blackmagic fixed the issue, I'd love to see a link to where they actually say they've resolved it. This is one that I'd love to be wrong about...
I just bought a Scarlet-X myself. You can actually get a ready to shoot kit for less than $8k (I did). First off, we're talking about a camera that is not all that old. The Scarlet-X was ~$16,000 for a basic kit when it was released in early 2012 if I recall. The same year as the (also $16,000) C300 and the BMCC. We get so caught up in specs sometimes that we sometimes forget that things seem to move faster than they do. Only because Red has released newer sensors is a camera with the specs this one has being sold so (relatively) low on the used market.
I think the answer to your question depends largely on whether you're planning to rent your kit or not. I don't imagine anyone wanting to rent the Scarlet-X now that it's a couple of versions behind. But if you don't care about that, I think the used Scarlet-X is the best image you can get under $10k right now. Major motion pictures have been shot on this sensor (usually Epic, but same sensor).
And I don't think a well shot image, finished by a colorist, on the MX sensor will be visibly inferior to the later Scarlets to 99% of the people you show it to; either pro or civilian. You even get the benefits of the new color science Red develops.
Downside: I'd love to have the extra sensitivity and DR of the newer sensors, though... I'm getting an A7s as a b-cam to handle low light shooting.
It took me a couple of years to develop the instinct of where to cut. I think when you're starting out, it slows you down a bit that you're learning the technical aspects (I.e. - using an NLE, workflow, different codecs etc).
Once you have that down, your higher brain functions are free to just worry about how things feel.
I've always plugged 1k lights into household electric with no problems. Just have to make sure they're on different circuits if you're using multiples, but it works.
Having said that, if someone makes a commercial version of this that is a lot more practical, it may be worth it just to be able to transport the damn thing...