What remote(s) will work for this fan? We planned to have it hard wired, but electrician states can't be done, and remote has been lost.