Does anybody have experience with reliable, commercially available USB hubs with individually controlled power on the ports ? We want to be able to power cycle an attached device if it misbehaves badly. Preferrably with Linux drivers... Thanks, wad