A guy trying to lure us into his restaurant told me this used to be a bath house and public bathroom. I can’t find this backed up anywhere on line though