Looking for D3ADMAU5

So I’m at the St. Louis Championship and I see someone in a green D3ADMAU5 head wearing a green shirt. My friend is a very big D3ADMAU5 fan and I need to find this guy and get a picture with him. I don’t know what he looks like or what his team number is but I do know he was wearing a green shirt. Does anyone know his team number so I can find him in the FRC pits?

I know 1503 Spartonics has somebody on their team with a deadmau5 head that lights up.

Thanks I appreciate the help!