Thanks for the sobering reminder, Surlygirl. Apparently, awnings and porches and other places where you might get out of the rain with your bike are not really safe. The guideline said "inside a substantial building". So I'd better carry a bike lock on the "chance of thunderstorm" afternoons.