Given that he is going to have to run the Rio Receiver manager (Windows only) or JReceiver ("interesting" to setup in normal circumstances) on the machine (to serve the Rio Receivers), using a Netwinder is probably not the right route to take. A bog standard PC would probably be a better choice in the case.