[FW-1] Compaq Servers (on linux) or Nokia (on freebsd)

[Security Guy]

Got a chance to make a change, What's the verdict? Checkpoint on Compaq servers (running Linux) or stick with Nokia's (ip440's)   We are running dual ip440s, checkpoint 4.1 ispo 3.41 sp5  [running VRRP]   Fishing for opinions, with the Nokia we get support from one place both hardware and software.  With the Compaq, we would have to involve a third party.  We have been hearing two stories about Checkpoint and Nokia's relationship, is it good, bad, ugly?     Suggestions Please!   Thanks