We are trying to order the server and it is coming to $3800. Does that sound right? Intel xeon x3430, 2.4 ghz, 3 yr on site repair warranty, 1 yr remote tech service, 6 Gb registered ddr3 ram, windows server 2008 OS, RAID5, 3 x 250 Gb harddrives. We are networking with windows 7 lenovo thinkpads and thinkcentres (2 of each).