The sandstone north of Santa Cruz was probably the Castle Rock I was talking about.