Thanks for the reply.  When I went to the IRS frequently asked questions, I saw form 8888 mentioned, but it had said if you file a paper return to use it.  I should have looked at the form in Pro series because now that I do, it clearly shows me I should use this form.