Nice Michelin-recommended spot - dashi ramen was good