 and enjoy it, I guess, is where we're at. But we're starting off on a Monday coming off of July 4th. I hope whatever you were doing, I hope you had a really nice Independence Day, July 4th. A lot of people enjoying the summer thing now that we're there.