There are 3 different Restaurants.
San Angel Inn is the one inside by the Volcano.
La Cantina de San Angel and La Hacienda de San Angel are by the lagoon and "share" a building.
La Cantina is Counter Service and La hacienda is Full Service.
It is confusing-a lot of "San Angels"!