1400 is a lil high... but you said he was going to change out the head gasket and the waterpump right? I assume he would also replace all the seals/belts that you run into along the way. 1000 sounds right for all of that.