Are these guys for real, or what? A penalty kick. A regular occurrence in soccer. Any experienced referee will have had plenty of them to deal with. He should then, surely, know what the rules say.