"We're getting El Nino rain according to TV weather forecasters. Bay Area broke its records in some respects. One is the amount of rain this month is already is double average as at yesterday, May 11. I believe it is the most recorded for May. Also, more (consecutive?) days of rain ever recorded."--C. W. Gilbert <blazing@igc.apc.org>.