“Will this DirecTV RC73B remote be compatible as a replacement for our current DirecTV RC72 remote?”