13 DJs have played October Records in a set, 19 times in total. Counted from the tracklists we hold, so this is what gets played rather than what got released.