Thanks, Manpot - I was hoping that would be the case. Many of our previous trips were in August or even early September and there were a lot of restaurant closures during that time, so we weren't sure how July would be.