RTXXD3051, XXD3051, VSXD812S, VSXD812K, VSXD712K, The models above reflect the known use of each remote based on our extensive database. Each Remote comes equipped with a fresh set of batteries before shipping so that the replacement remote may be used right out of the package!.
