I've dealt with the PIX in hordes of scenarios -- some it excels, others it does not (i.e. Crypto, OMG RUN). I can't speak for Juniper's firewalls, but I'm an advocate of their higher end routers, especially when working with BGP.. exceptionally solid. I can't speak for the ASA though I've been approached to test it in a few odd scenarios (high-volume crypto VoIP). I'm not a huge fan of the checkpoint software, but recognize that it can be easier to manage. I've had some major issues with CP's VRRP implementation in the past, but perhaps these are rectified. My personal favourite at the moment, and the one that seems to be evolving the fastest with vast amounts of flexibility, is OpenBSD. They need to do some serious work on their threading model to make it perform to the level of commodity hardware capabilities, not to mention a relatively steep initial learning curve and zero GUI for those that require it, but it has some amazing featuresets built into the GENERIC kernel and hardware support is increasing at a fantastic rate. I've plopped it on some old Nokia IP130 firewalls (formerly IPSO 3.8, IIRC) with excellent success, FWIW. If you're not into Unix, however, it's just not for you no matter which way you slice the pie.
At any rate, call a spade a spade -- the PIX is an x86 platform with a customized OS. I'm not sure if they actually changed the underlying OS in 7 or just the interface (5.x was nasty, 6.x improved, but wasn't exactly sync'd with IOS, and I really don't care about 7 at this point), but I think it was originally based on Plan9 Unix. (don't quote me on that...) One thing you can say for the PIX is that it is easily supported and much documentation exists though more and more leans towards handholding (typical CC[N[A,P],{xyz}] material now a daze) rather than the comprehension of theory. ($0.02 disclaimer)
See if you can get a 'demo' to work with, even if it's off-site. After all, if you're not comfortable with it, it will likely never be optimal and your TCO will drastically increase when there's a problem.
Good luck.