Or you could have just mentioned that any available RC key will work with 7127....which interestingly enough is just what the list above happens to be....