I just saw a race from Vegas where BOTH lights went red and both drivers were .001 red.

I thought the green light would shine in the winner's lane,or do they both go red on a double red light?

They both show red. Have to look at the scoreboard for the winner.