Bummer. A tasty grouping of eateries around there. David's, Pete's, Pita Pit, Jack & Dan's, good stuff. Arny's will be missed.