Hot Homes: This Davis Islands mansion just sold for $17.85 million