If they're currently running Windows, you might try having them run aida32. It'll give you a nice pretty HTML report of all of those things and more. You might also do a printout of device manager.