Does Directv and Dish Network use TCP IP?

My Dish Network receiver is connected to my home LAN and the internet via TCP/IP for remote control of my DVR, on-demand movie downloads, etc. IIRC, there's a place in the Dish OnLine menu to get the receiver to request an IPv4 address from a DHCP server. If there's no IP address, then there's no remote control, online movies, etc. I'd bet that DirecTV has a similar setup.