We use Nokia/Checkpoint for all our hosted stuff and it has never let us down and worked perfectly for all the time I have worked here but we use Sonicwall for our Offices both in the UK and US and they are the biggest pile of crap I have ever used, and the support is terrible, we have PRO 4060's, they have been a nighmare from start to finish.
We are looking at throwing the Sonicwalls out and replacing with Checkpoints this quarter, from my experience the checkpoints are perfect and are light years ahead of the sonicwall stuff I've used.