It likely should rightfully be #2.
But, it never hurts to "ask nicely" for the $15 price.
I kind of figured that it should probably be #2. And I am not trying to game the system, I have never had to do any ticket manipulations at all, and so I wanted to make sure I had the correct answer. I figure I might ask at one of the Guest Services and if they quote me the $15 then it's my lucky day and if they don't then I will have to decided if it is worth it. We are already cramming a lot in the trip. Five full days at WDW, plus 1/2 days on arrival and departure days, and 2 full days at Universal. So I am not positive we will have time to cram it in anyway. I just wanted to know so I was prepared.
Thanks Robo!