OpenBSD 4.2 hardware recommendation

[VP]

Hello!

I have a network with 100 users and 7 servers and current firewall
need to be replaced. I want to by brand server due to company policy.
It can be SPARC or x86.
But vendors don't officially support OpenBSD with their hardware.
We need tower server with 1 proccessor, 2 gigs of RAM, 2 SCSI disks
and 2 power supply. Does anyone recommend brand server which supports
OpenBSD?