Colouring games are interesting mathematical problems which can lead to surprising and important results. The problem with 7825 led to a proof which took several TB hard disk space and was probably the biggest proof measured by this size at the time.