Maybe this is too late, but I have a new Rio Receiver available here in the UK. I say 'new' but I have connected it up to test that the server works, but apart from that it has not been used and is in the original packkaging.
I am actually after one of the later Sonic Blue badged versions to replace it, simply because I have 4 other of these Dell lookalikes and would prefer them all to match, so if anyone wants to swap, please let me know.
Otherwise I guess I could simply sell the Rio badged one. BTW, they are identical inside.