Did you know that the peppery bolete has been used as a peppery condiment in some countries?