correcto, le pones ya el 8001 como puerto por defecto, te repito que si se lo pones ya en tu casa donde se encuentra el deco no te repercute en nada, y si, con eso es suficiente para hacer streaming en local no hay que ni redireccionar ni abrir ni nada por el estilo.
Lo único es poner la IP del receptor en cualquier dispositivo que lo vaya a usar y debe enlazar ya con OWIF para gestionar el receptor, no le autentifiques ni nada por que si lo usa en local es suficiente para no tener que loguearse con usuario y contraseña y en el dispositivo que lo vaya usar pues un buen reproductor Mediaplayer como VLC y listo.