I'm looking for a good kid friendly/easy to clean replacement remote. We've got an HR54 with the 4K clients and an H25 in the house. Searching eBay I came across the RC80 remote. One site suggests it ONLY works with DRE receivers, but the eBay listing says it works with all DirecTV receivers. It fits the bill perfectly because it is easy to clean, flat buttons, etc. Can anyone confirm if it actually is locked to DRE receivers, or will it work with any DirecTV boxes?