Originally Posted by
TheStrangerIn29K
7:30 sounds a little late for a Happy Hour, but we can just call it something else.

And I now coincidentally have a work-related lunchtime event at Brave Horse that same day. Tempted to just hang out there the whole time in between, but wouldn't want to be found under a table instead of just *at* one by 7:30 PM.
Eh, I mean, if people want to meet up earlier, I can be in the neighborhood as early as 5:30pm or so.