I'd also make a point of using an extended red sensitivity film, to get the most out of using the red filter, enhancing the response to the light that does get through the filter. Strictly speaking a magenta filter will make the green darkest, but the red will do the job as well in practical terms.