DNS error with SSL VPN and OS X 10.7.2

I have seen this with one (1) user. None of our other Mac users have experienced this. One of my teammates has a Macbook, and I have seen first-hand the VPN operating properly. I opened a ticket with F5, but as they had no other reports of the problem, they could not help. FYI, resolv.conf is not used in the OS/X. There is another mechanism for DNS -- I don't use a Mac and the name escapes me right now. I realize this is an extremely late reply, which you may not see, but if you still have the problem it would be worth opening a ticket with F5. Even if they still do not have a solution at hand, it has been my experience that they will apply resources to a solution if they see multiple problem reports.