On How to Cook a 10€ Porcini Mushroom