Hot Wok - Opening hours

It's already late and you are not sure whether a visit to Hot Wok is still worth it or if it is no longer open by the time you arrive? Then look here for the opening hours.