If he is in the system (should be by now) he should have been able to log in using name and ssn
he call them at 215-587-9600 and ask.
typically you will see people mentioning receiving their packets here on the forum, have not really seen that yet for the 2nd board