Ich habe als Kochzeit 5min angegeben! Logischerweise sollte der Pilz richtig gar sein! Wenn nötig ein bißchen länger kochen, ich mache das eh nach Gefühl.