Gredos is in Soto del Real. Tap the map or the "Get directions" button to see the exact location and the route from your position.
On this listing you can see "Other restaurants nearby" right below, sorted by proximity. You can also open the full restaurants in Soto del Real page for the complete map ranked by distance from your location.