She will have to purchase them. She may give them away to anyone else but she must be the one to purchase them. They must be purchased at least 24 hours in advance and she will need the coke code if she purchases online or the coke can with her if she purchases at the park. If you order online, I'd choose the print at home option or else she will need to be the one to pick up the order at the kiosk. A Flordia resident can purchase up to 4 tickets for other people and the guests will not need FL ID but purchaser will if she picks them up at the park.
Here are the restrictions:
Valid for Florida and/or Georgia residents only, where applicable. Halloween Horror Nights is a separately ticketed event. Day of event tickets are $64.95 plus tax per person. Receive a $25 discount on Friday event tickets, $10 discount on Saturday event tickets, and $30 discount on all other event night tickets.
To receive full discount, tickets must be purchased at least 24 hours in advance on up to 4 tickets with presentation of valid FL or GA photo ID and the UPC code from any Coca-Cola® product (FL residents only) or specially-marked cup from participating BURGER KING® restaurants (FL or GA residents).