So…. A resort named "Poco Diablo" ("Little Devil") has been sold and will be rebranded. Interesting that this was just announced now, as the transition is taking place. Coincidence? I'd always wondered how that place got its name.