I'm not sure I know what exactly you mean. Well, it's an HTTPS stream, so, in that sense, it's encrypted. But, VLC should be able to decrypt it (it gets the key during the TLS handshake, no?). And again, Chrome plays it fine, so I believe VLC should be able to play it fine also. Or is there a reason...