1200 is the beginning of the official warm-up time, as per BUCS Regulations. The match will commence at 1230.