According to Cheds, you're right: Big Shorters: JIMK, POND, ASCM, BKRT, GNET or ARCA (anyone can use GNET, even other MMs because it's an ECN). http://chedstrading.blogspot.com/2015/11/market-makers-who-are-they-and-how-are.html