My daughter is currently working at DisneyWorld for the summer. She had been told that she would be able to book discounted cruises. Will she have to be on the cruise with us? Are all cruises discounted? Thank you for any information that you could provide.