Apparently this is a myth, or at least nowhere near as much of a difference as generally thought. This is in regards to hrc c, coatings that are only several microns thick at most will have a 0.3hrc difference. I think the temperatures required for coating just don't get anywhere near what would be needed to change the hrc. Here is some testing by a professional that does it for a living, and the Skylark poster in the comments extrapolates and is also a professional in the field. They started a small project on the side for knives because that is their hobby. They have a small database going and will accept knives to test for those who dare. There are several surprises in there. M390/20cv/204p in particular from alot of the Chinese oem's are getting not great heat treats. For instance a Reate made Sharp By Design was tested in the 58's. Bummer, but not particularly surprising, I'm still keeping mine!

That steel in particular has a trend globally of not being treated optimally, I think it's a substantial investment to get the equipment required for optimal treatment. We/Civivi is incredibly consistent with theirs though, which is nice, but still only ~60.5. The major highlight for me is the Kershaw Launch 20 in Magnacut hitting 63.8. Impressive. Spyderco thus far is no surprise having really fantastic results with almost no outliers. And it's a bad time to be a Strider fan boy. No AB testing yet, but that could be arranged!
steelhardnesslab.com
OP should still contact AB for guidance, I would like to know as well.