5 DJs have played Sean Dexter in a set, 9 times in total. Counted from the tracklists we hold, so this is what gets played rather than what got released.