our VPN solution is fully IPSEC compliant. IRE's SafeNet VPN Client also, so they should be compatible.
We didn't test it yet. But we are using FreeSWAN on Linux as Backend Software and there are several Postings in Newsgroups that they tested it and it works.