Tony's Wok menù, Eindhoven