how much did that end up costing?