@fcwilt
One more note, I swapped the ports for tools 3 and 4, and now all the tools work again. I think there's something wonky with the tool distribution board, so I'm ordering a replacement.

Thanks,
Steve