I am in a university environment using a Mac with a fixed IP address and ethernet. The firewall permits me to use HTTP ports 80 and 8000-9000 tcp. Here's the sequence of steps I'm tailing with VLC 2.0.1: 1) File > Advanced Open File... select an *.mp4 file. 2) Select Streaming/Saving and Settings as...