Juan Pedriel

Hello, Next month I will be shooting a short film in Super 16mm 500t in a factory with an old green fiberfilter roof that stained the whole place green. For this project i have a good amount of tungsten light with lots of diferents ctb and a pair of kino flo 4 bank. My question is if i should add to the lights a plus green gel or another green gel to "match" the colors to then color corrected in post? thanks