Interesting. The reports I've seen say that SonicWall was working before 7.1 and now it's broken.