The Times asked mushroom companies for comment ... labels of some of the best-known brands — such as PolkaDot and Tre House — ...