private static void printDiamondDetails (int indent, DeviceDescriptor info)
    {
	Device	dev = info.getDevice ();

	if (info.getProductId () != 0x0001) {
	    indentLine (indent, "That's not a Rio 500 ...");
	    return;
	}
	Rio500			rio = null;

	try {
	    indentLine (indent, "Rio 500 Status: ");
	    indent += 2;

	    rio = new Rio500 (dev);
	    rio.start ();

	    // basic memory statistics
	    showStorage (indent, rio, false);
	    if (rio.hasExternalMemory ())
		showStorage (indent, rio, true);

	} catch (Exception e) {
	    e.printStackTrace (System.out);
	    return;
	} finally {
	    if (rio != null)
		rio.finish ();
	}
    }