Does the Rio Receiver use the same remote as the Dell branded box? Can I use the same remote control on both of them? Thanks!