Hardware is very cheap nowadays and you can get a very good server for half of the 7000. I played around at Dells site and, using the PowerEdge 2950 III as a base, created a server with 2x Quad Core Xeon, 16 GB RAM and two SCSI-disks in RAID1 for around 3000 USD. This would handle PHP nicely...