3 DJs have played 2 Bad Mice in a set, 3 times in total. Counted from the tracklists we hold, so this is what gets played rather than what got released.