L.R.
Hi there,
it was actually an old Maori Tradition in New Zealand to cut the gums of all infants and usually it was done with a shell. I know it sounds terrible and I certainly wouldn't do it with my son but those kids turned out all fine. I think your doctor knows what he is doing and the first couple of days won't be so pleasant for your little one but then all should be well
Cheers
L.