Marin should continue to push to redevelop buildings to residential housing