If you have not been given an E-ticket or other such information from the source of your reservation (if I understand correctly, that's WDW itself), then I would call WDW first and request it.
if that doesn't work, then call AirTran. Your name address, dates, etc. should be...