 and other things that are going on in their life. That and the fact that, as I stated, it was holiday weekend. Can't get any better scheduling-wise. And JR extended it a little bit by taking Wednesday off too. But Thursday, 4th of July, I would guess most companies were good enough to give their employees Friday off as well. So you got Thursday into Friday into Saturday into Sunday. That's a really nice four-day weekend.