Inside a building that once served as a public bath house, Milwaukeeans of a certain age will remember dining — poolside — while live dolphins performed at a tropical paradise themed restaurant. I said it was weird, didn’t I?