Thank you, Mr. Speaker. I am very happy to hear that, and I'm sure all of the people moving in tomorrow are even happier. Great news.

I guess my question, in a bit more serious tone though, is that this has taken a couple of years. We still haven't, on the public record, figured out exactly what happened. I know there were some contractor disputes. There were some inspection issues. But do we have a figure now about what all of this cost us in extra dollars? Thank you, Mr. Speaker.