I would freshen the bore with cutters. I don’t think lapping will remove much or give significant choke. Freshing a rifled barrel is easy if all you’ve got is a couple tight spots. 2 hours to cast the lead and make the cutters for grooves and lands, then an hours work should do it.
I thought it was complicated till I tried it.