The short answer: the dock doesn't automatically follow the house. Docks at Smith Mountain Lake exist under permits in the shoreline management system, and the permit must transfer to you at closing — a step your agent and closing attorney handle, but one you should verify rather than assume.
Why dock transfer is its own step
Shoreline structures here are permitted — the dock's paperwork lives alongside the deed, not inside it. At closing, the permit transfers to the new owner, and any surprises (an unpermitted modification, an encroachment, a variance the seller never obtained) surface at exactly the wrong moment if nobody looked earlier.
The cautionary tale
From the book: one buyer's deed examination revealed that the seller needed a variance from the neighborhood property owners' association on his existing dock before he could sell at all. Examining the paperwork before purchase saved the buyer from inheriting the problem.
What to do as a buyer
Ask early: is the dock permitted as built? Does the survey show it inside the property's projected lines? Are there association or shoreline-management conditions attached? Your agent, the closing attorney, and the shoreline management office are the right sources — and this is exactly the kind of property-specific question Paul checks for clients before they fall in love with a listing.

By Paul Moore · Associate Broker & Author of the Definitive Guide