So, a friend of mine has a DELL Inspiron 3500 laptop.  It's mostly cool, but
if you leave it to its own devices, it won't boot 1.4, because it has a USB
hub on IRQ 10, and a "Windows Sound System" on IRQ 10.  I can probably
override the settings, but...  This worries me a little.  ;-)  Anyone got
solid experience with this box?

-s