Please tell the American that works there that knows nothing about real football (“soccer” as he would say) that when 90 minutes end in a draw, what comes next is “extra time”, not “overtime”.
Someone must have known something because when the extra time starts it does in fact say extra time, but when it is announced, you guys call it overtime.
Please fix it, it is not a good look.