If they aren't in a huge hurry, I'd also suggest considering buying another one of those receivers off of eBay. At the moment, there are a few of those on eBay with bids lower than the cost of that remote. Just a thought, as they might be able to get a remote and a spare receiver for less money.