Ohhhh that does make it a bit more interesting. I wonder how soon after that goal they showed the time? Could it have been a case of the time being determined already, and maybe only just after they confirmed the 7 mins the official made the decision that a bit more needed to be added?