Normally, I would regard retirement accounts as sacred. But the amount needed relative to your savings isn’t that much. You would have to calculate the opportunity cost (return you would have gotten if the money remained in the account) vs PMI cost minus deduction (PMI deduction might not apply to you due to income restriction).