now that you ask me ... I assumed our mac users were on IE, but maybe they are using safari.
The problem we had was that I would update the js file on the server, but their browsers would still use their cached (older) versions.
I had them go to the js file and hit reload and that fixed it.
I don't know much about safari, sorry.