Visiting WDW lately, I noticed that on Tower Of Terror, the cast members wear either long or short dark red coats.. is there a difference between the two? Do they just wake up one day and think.. "hmm.. tower of terror shift today... long or short coat?" or is there anything special to the...