Lip tie

Has anyone had a procedure done to correct a lip tie in an infant? Did it help? My son has been 100% bottle fed so I didn’t notice that he appears to have a lip tie until now (he’s about 11 weeks). He eats really really slow. Each feeding takes about an hour. I thought he would grow out of it but when he didn’t get any faster at eating I started doing my research and discovered a lip tie may be to blame. My doctor said there is conflicting theories about whether to intervene with surgery on lip or tongue ties. I am wondering if anyone on here has experience with either? Did it help? What was the recovery etc.