There's a chance he was pickpocketed. I read another forum specifically for EDC fans, and there were significantly increased reports of pickpocket activity this year. Those reports were focused on the festival and the campgrounds, but it's entirely possible that they were active throughout the city. Or that your friend is mistaken, either about his math skills or level of drunkenness. You'll never know for sure and he'll probably never recover the money.