Apparently the problem exists in web4 but not some of the other servers (web1 for example), although it's a mystery why.

Thanks again!