olive oil, divided (less if not using mushrooms)