I tried it now and it seems to take me to the screen about our non-taxable contributions with the number that I had manually entered in Form 8889 pre-filled in the field! I am pretty sure I took this path earlier and it didn't take me to the proper screen. I am now wondering whether entering it manually caused Turbotax to take a different path and display the appropriate screen.
Thanks, anyway!
