I just don’t see the harm with leaving it not banned. At least for me personally the problem with the culture comes from the fact that servers rely on it to make a living so if you don’t do it you’re denying them that. So if you fix that problem and pay a liveable wage and just allow tips as an extra then sure they might still see someone not tipping as stingy but atleast now it’s not impacting their ability to make a living directly so they can’t be as justifiably angry.
Cause atleast personally I haven’t worked in the service industry but I have worked minimum wage at a grocery store and I remember they told us we couldn’t accept extra money from customers which I always thought was dumb. I wasn’t expecting people to give me extra money and it was pretty rare that it happened but occasionally a nice person would come through and offer me some extra money for helping them and I thought it was dumb I had to turn that down. It didn’t make me think less of the people who didn’t do that, just would have been a nice extra bonus to help me out.