There is no exchange, but if you replace 'exchange' with market maker then yes you are correct. (And to clarify, market makers can trade grey market stocks for clients but can't trade them for their own account). So when I go to cover my short at IB they have to call up Knight Capital Markets to get a quote.
News 
Market Data 
Discover 
AI
