Has anyone that has studs installed replaced a head gasket? If so, do the studs need to be removed to get the end of the cam shaft to clear the shroud on the timing belt end?