OK, I have found this Other section in the step-by-step, and it HAS my IRS 6-digit number.
Yet, when I go through the e-file, it is asking for a 5-digit PIN and seems to be using that.
