Mr. Speaker, I want to thank my colleague who brought up the pipeline. As it was planned initially many years ago, the cost was substantially lower. I believe the cost at the time was $4.9 billion, when the private sector was going to get that pipeline to tidewater. I just want the member to answer a simple question. I can answer it for him if he wishes. It was supposed to be $4.9 billion. It ended up costing quite a bit more than that.
Does the member actually know what the final price tag was? It was closer to $30 billion or $40 billion.