Was working in the early 70's at the Union oil refinery in Rodeo, and spent many hours in that shop in El Cerrito . Cool place !