When the DJs wake up, they'll post their set lists from the night before so we can all ewww and ahhh at their elitist music tastes. Check back later.
In the meantime, check out Cartel's site to see if that was the song. They get a lot of love from at least one 9:30 DJ.