Solution (source code)

= Solution

There are two red counters among seven equally likely first draws, so
$$
\boxed{\mathbb P(E_1)=\frac27.}
$$