Rancho San Martin is a restaurant.