I'm curious how he "bored" them? When I was a teenager, my buddy and I built docks decks and seawalls as our summer "business" and setting posts involved using a 3" gas powered water pump, 1 1/2" heavy duty rubber hose connected to a 6' piece of 1 1/2" galvanized pipe with a nozzle on the end to jet the poles into the lake bottom. You just stood the poles up and then jetted around the post which would gradually sink to the desired depth.
Seeing the crazy prices dock builders are getting (my neighbor paid like $50K for a ~50' dock with a covered roof/boat lift for an 18' boat), I'm tempted to go back into the business :). It's really not all that hard or complex to build a dock compared to something like a shed or dwelling.
How long is your dock and how deep is the water at the end? Our dock is ~ 140' with a 12x16 platform on the end and it's ~ 9' from the lake bottom to the bottom of the stringers at the end of the dock. If someone told me it was $60K to build it I think I would have had a heart attack