No, there will be no need to withdraw anything...as I noted, this is not a case of "excess contributions" but of "failure to maintain HDHP coverage".
So once the what-would-have-been-excess-contributions-but-aren't has been added to Other Income and the penalty calculated on form 8889, then you are done.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
