And, fwiw, on the completely uninteresting topic of weather, today is one of the great type of southern California days of summer weather... it was hot today, but not exactly blistering... got up into the mid 90s maybe, but then it just never really cooled down... driving home from work at 730pm it was still 91F and even now, 1130 pm, is still in the mid80s, with just a little gust of warm wind every now and then... sitting on the back patio, getting some work done, slipping into the pool every hour or so to cool off for a bit... yeah, this is the kind of day that only happens a few times every year...