There is a quick service place in the Dolphin in the basement next to the laundry which was open 24 hrs when we were there Christmas 2017( can’t remember it’s name, it’s kind of got a Mexican vibe).
Being from the U.K., I never get into the sleeping groove with the jet lag, so was often in there...