OK, wake up, all of you in the Bay Area!
A 4.0 Mag quake should have done the job.
You definitely would have felt it were you awake.
The big surprise, worldwide, was that quake that hit New Delhi, India
today. 5.2 Magnitude. New Delhi is not earthquake country.
