Do you know if the belt has ever been changed? If it has, just reuse it after you fix the head gasket.