Yes, you just use those to do your prints. Everything else is done on their website and the ATF website via the silencer shop portal. They charge $50 for the Form 1 service.
PS - some local shops may charge a fee to use the kiosks since you're not actually buying anything from them when you do a Silencer Shop Form 1.