9 minutes of stoppage time, are we back to Fergie-time rules?