Roku Ultra 4800X running 12.5.0 (build 4178-C2) connected via ethernet to a network that has no DHCP server. There is no way to manually configure the Roku Ultra with an IP address, mask, gateway, DNS server(s). This is a rather basic feature that is missing.