If any one knows the model number of the remote, then I could look for
one on ebay.