I've seen boats in peoples garages at the Villages. I too,plan on bringing my boat to the Villages and have found plenty of Marinas on the internet. I'm bending toward the one in Chrystal River or one in Leesburg.
See:
http://www.lakecountyfl.gov/boating/marinas.aspx
and:
http://www.ilovemymarina.com/marina/...quamarina/1552
Hope this helps.
I too love Smith Mountain Lake, Virginia's best kept secret. 500 miles of shoreline and fantastic fishing. I like Clator Lake, too.