Yes, the Marin Civic Center in Terra Linda is what I'm referring to.

Edit: above said "next door" so I'm curious how literal they meant this