You can marinate them for 5-10 minutes, but you can leave them in the marinade overnight as well. If you decide to leave it long, pay attention to the incredible sponge texture of the mushrooms as the marinade will be soaked up completely. If the mushroom shreds feel too dry, you need to add a dash of oil before baking.