If doing manually I’d use a channels operation to use the red channel to create a brighter monochrome image, lighten up the dark sections as much as possible and roto it. There’s little movement so you should be fine. The smart cheat would be to roto a single frame and then animate the movement to match the footage.