I didn't know that, but please accept SF as a sloppy metonym for bay area. :-)