gabrielf you asked for an expert and indeed there is a long commentary by alex jones who uses green screens and blue screens all the time in tv production who says it is clearly a blue screen he shows two examples of blue green screens being used you can view his analysis here