I asked them to reboot their clients. They tried 3 times, without success.
I doubt very much it is 2 or 3 - because they are experiencing the same issue on three different Macs. I find it hard to recommend a full Mac OS X recovery install...
Any other ideas?