While I understand the argument that a lifetime ban for flippant comment made in jest in a frustrating situation seems like overkill, you have to remember that this particular comment obligated WDW CMs to report and investigate the situation, with police, in the middle of the night. That's beyond just forgiving a flippant comment. Not to mention, how much disturbance and concern did this cause other guests? And, I would still say it's a safe bet that this guy isn't telling the whole story.