"The bores, which are very good" You mean now they are.
If gun was originally .729-732 bore, in the right barrel that is .010 removed, and in the left, .008 removed.
I would be more concerned as to what the thickness is 6-15" from breech.
I would definitely have someone with a wall thickness gage, and the right type, to measure them.


David