Unable to answer "Are these opening hours still correct?" – Tenko Ramen (Fast Food) – https://osm.org/node/5697016488 via StreetComplete 57.1:

Now "Chilaquiles" (this restaurant moved to a new location within the same building)