Even more expensive than what I tried in London's Chinatown in 2019, which was £3 or £3.50 iirc (and you could add other stuff like a waffle and I ended up paying ~£7)