Olde Del Mar home selling for $8,488,000