Anyone know if Hog Heaven, Mad Dog, Mine Shaft, Olde Yard, Leverick Restaurant, etc will be closed in September? (I did see Coca Maya will be closed.) Thanks!