Good point, the USB plug is rarely used.

In other news, I found out what the correct device name is for the Rio Receiver and/or the Dell Digital Audio Receiver. You have to put in "Dell Rio Receiver" and then it finds it. Other combinations of those names fail to find the right IR profile.