Any idea where this rather odd and unattractive name came from? Was there a cabbage patch nearby? Or maybe a wholesale produce exchange? Or perhaps it was originally built by someone named Cabbage, or named for an earlier meeting hall in the area??