The world's cheapest one Michelin star restaurant?

We went for lunch today at a dim sum place up in Mong Kok.  It's got a Michelin star and is very popular - big queues ensue (although if you wait long enough other people give up and you get bumped up the list!).  The bill came in at a whopping HKD88 - about GBP7.50 - for both of us.