Patrick: They can still file an amended return with the form 8379 included. I edited my answer above to include the information.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
