He’s still within spec, though, technically - SAAMI allows .010 for chamber dimensions (1.3607-1.3707 at the datum). Shorter headspace is arguably a little better, but once his brass matches his chamber, he’s good to go. Probably goodness not running hotter stuff, though - Hornady factory stuff might show more issues, especially with the tight bore and longer headspace.
You’re spot on about having the smith who cuts the next barrel match fired brass minus a couple thousandths, just to save brass wear.