Hey folks I have a 94 cobra, and it has been told to me that I have gt40x (SVO) heads. How would I go about verifying this? Is there a casting number or something on them? Also would I have to remove the heads to find the identification marks/number?