i would find another gunsmith...have no idea what 15thou is..
buy a set of gauges and check it yourself.
not that hard to do...buy the tools and ill walk you through it.