Django Channels with Redis PubSub

My last question to that topic is the following: I want to be able to stream around 12000 different stocks over my WebSocket. So for example I want to say on may frontend → ‘Show Apple Stock’ → the WebSocket now sends me the price for that stock in real time (every time I push an update through the Channel-Layer. How can I manage that with multiple users? Is it smart to generate a group for every stock, which would result in over 12000 Channel-Groups? Or should I not specify Groups, instead of that I implement the logic in my Redis-Publisher, who send the price data in the Channel-Layer?

Regards