 A bit of a wipeout out at Gordon Moore Park, I guess you could say, yesterday with that sinkhole and that collapse there actually happening early, about this time yesterday morning, 6 a.m., 6.30. And, of course, the park closed yesterday. We'll see about some other things after this.