 And so the tides reached no higher than 7.3 feet at the Golden Gate, the difference between a high and a low on a single day. Right. But then in June, on June 2nd, we had an 8.3-foot range, and it gradually declined from that. And on that day, we had a 7.0-magnitude quake in the Mid-Atlantic Ridge. We haven't had a major quake of seven or better since April.