Had this a long time ago at a restaurant in DC. I know these are udon noodles but is there a name for this particular dish and would anyone know how to make it? It is one of the few noodle dishes I have thought about from a restaurant.