TIL that stocks can have a "$" in their code.

They don't. The symbol is NET. But I think Twitter lets you use $ as an alternative to # (hashtag), and people use it specifically in front of stock symbols, and now it's becoming customary to prefix stock symbols with $ everywhere.