Thank you. If I go to Insert Audio Effect/Spatial + Panner, I can choose Channel Tools from the menu.
But if I choose Insert Audio Effect/Uncategorized (which is what I did previously), I then see a different instance of Channel Tools, which does not work. I think this is an older version which was discontinued. Anyway, this led me to believe Channel Tools was no longer with us.