I'd add that the noodles were not the PITA that I anticipated. I boiled them for about 12 minutes in salted water and a glug of olive oil. Once drained, I rinsed them in cold water and then laid them out on a towel until I was ready to use them. They didn't stick together at all. I don't like having a bunch of things to do at once so, from there, I cooked the mushrooms in the same pot and had those down and set aside before turning my attention to the sauce.