I believe the syntax for this is to mark the time they open, and append a + to it.
https://wiki.openstreetmap.org/wiki/Key:opening_hours

Certainly a complicated set of hours compared to the usual, though. I've updated them here:
https://www.openstreetmap.org/changeset/152123281