How much tax payer money was that cockup worth by itself?