Does it matter? I suspect the answer is yes as I have already proved via a few threads we have a wide range of musical tastes here.
A good friend of mine, sadly no-longer with us, said there are only two types of music: good and bad. We must choose what belongs in each category for themselves.
Tool don’t work for me, but if they work for you, that’s all that matters.