That's unnecessary. I bake the peppers in the oven for 30 minutes, which gives them plenty of time to soften without becoming mushy. If you feel that your peppers are not tender enough after 30 minutes, add 5-10 more minutes to the baking time. Loosely cover the top with foil to prevent the filling from drying out.