They provided me with a special gluten-free menu. Fairly limited, but a selection of rice and noodle dishes, as well as some starters and desserts. I had the gluten-free pad Thai with shrimp, which was excellent, followed by gluten-free purple rice pudding, also excellent.
— Separate gluten-free menu
— Not Much