Sorry if this is a repost. I've searched but only came up on the headgasket thickness selection. I know both brand has good reputation, but which would you guys prefer for our cars, Greddy or HKS? I ask because there is a big price difference. Thanks in advance