<p>Wow, thanks for the heads up!</p>
<p>This is off topic but, Torrey Pines–dang what a nice community!</p>