Antojitos El Patio - Opening hours

It's already late and you don't know whether a detour to Antojitos El Patio is still worth it or if it is already closed by the time you arrive? Then look here for the opening hours.