Like Jeffsr said,
do the whole enchilada since you are already there. May I suggest changing the timing chain, tensioner, rails, etc. The extra cost should be just for parts. The price sounds about right. I live in Florida and that is the going price around here.