The replacement building in Terra Linda would be about three times larger and about 30 feet taller, according to a filing with the city.