Hate to hear about your Friend. TVA as well as Alabama Power use eminent domain to take private property for public use. They own everything in their easement including the lake bottom as well as the land the Dock sits on.