Depends on the manufacturer if the head gasket should be retorqued or not. And if you have to retorque, that is done after the engine is at operating temp, not after the customer has taken the vehicle.
If it is leaking, I doubt torquing it again will fix it.
