Clip or laser lip tie?

Elissa

My son is 10d old and has a pretty bad cheek tie and a small lip tie. Our insurance covers going to an ENT and getting it clipped with scissors, or I could go to a pediatric dentist and pay about 600-1000 for them to laser them. I’m at a loss as i dont know if laser is better for him and worth the price tag or if getting clipped is the same thing and okay. What did you moms do?