sounds like his fed paperwork was done
you still have a 4473 at the store when you pick it up
After the fed paperwork, you still have to wait to get the tax stamp, averages right now anywhere from 4-7 months.
See: https://www.silencershop.com/blog/post/atf-wait-times