Not to my knowledge! How did you cook them?

If you don’t actually want them to be peppery, pickling might help. That’s what they do with the spicy Russulas in Russia and those are related to the milky mushrooms.