San Ramon, a Short History – srvhistoricalsociety.org