A buddy had a tube that rang like a triangle when the mute relay picked. Seriously, it went Pingggggggg. The decay took about 5 seconds. That was a seriously microphonic RCA 6DJ8, not known to be microphonic (that I'm aware of).
In my experience I have never been aware of microphonics in my equipment, I went tubed in the 70s. I don't think that noise during changing the selector switch is a serious problem, not to me.
What I may not be aware of is the sound of microphonic tubes playing music. What does this do to the music and how would I recognize it? Have I been living with microphonics for years without knowing?