I am buying tickets for my son and his girlfriend who will be stopping by Disneyland during their road trip to California. I am printing out the tickets after purchasing online. How do they use the fastpass system? Do they trade in the paper for a "real" ticket at the turnstile? I don't usually do it this way, so just want to be sure to give them the correct information! TIA!