https://www.clocktowerhistoricstaunton.com/cooking/quick-answer-how-long-does-it-take-mushrooms-to-cook/