 Well, that's a great question, and it's always hard to predict because the 4th of July is really the peak travel period in the summer, and then people usually anchor their other vacations and time off around that. So it is a good indicator that leisure demand will continue through the summer at a healthy pace.