Does anyone know how they do the streaming audio generally? Just streaming websockets I presume?