Always a pleasure to talk to and deal with - "Doc" will surely be missed by everyone that had the pleasure of knowing him. Take care, Jerry