Pantone is a way to standardize on colors. But that level of precision isn't really necessary for a trademark case. The courts care about whether or not a consumer is confused by the color, and that level of specificity is way more coarse than the details Pantone is concerned about. If you rip off Coke and change the color to the next closest Pantone color, it will make zero difference in your court case.