@stimms @migueldeicaza there was a huge naval base in Alameda but it shut down in the 80s from what I understand?