I haven’t actually done it personally either, but I think I can answer. You’ll have to scan your ticket at express queue somehow, and by default then would just be one on your phone, but if you stop by guest services anytime they can print out a physical ticket if you would like that. I haven’t heard of them getting a lanyard including, but you can put ticket in any other lanyard you have or I’m sure will be some to buy.