They should not deduct it since your file should be marked as paid. Just in case, I would call the IRS and speak to a representative there to make sure they note your file us paid for.,
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"