IMHO just Buy the copper plug and test it. My epetite called for .003 came with .000 and I think djlsb recommended .004. I wasted a lot of time worrying about it when it cost $10-15 shipped to your house.
The only way you’ll know, is to try it. Then your done.
Good luck, I don’t mean to be rude...