Has anyone had success with a certain machine using Debian for AMD64. We have a wealth of experience using Dell and HP workstations, but neither of them offer an AMD64 option. If I cannot get a prebuilt machine from someone like Dell or HP, what type of motherboard and peripherals (SCSI/IDE/SATA hard drive, network card, sound card, video card, DVD burner, etc) would you recommend setting up? Thanks in advance, Mike