Just make sure he knows that 3'8" is acceptable but 3'4" is not just as an example. You cant do anything once gunite is in. My PB had the depth just right so that 6" of gunite equal 3'6" of depth but they shot more gunite than that. Before they start steel, if they need to shave a few more inches off, then have them do it.