The entry for the irs issued IPPIN number is entered in other tax situations section. You could have searched for IP PIN. and it would have taken you to that section.
