Newbie to Android and Rooting: is there a Mac OSX process yet for JB S3 on Verizon?

[Argelius1]

Apologies if this has been answered somewhere, but my searches were not fruitful.

I've found an excellent procedure for rooting a Samsung Galaxy S3 running Jelly Bean on Verizon ([GUIDE] Root for Jelly Bean OTA ***UPDATED*** - xda-developers), but haven't yet found a procedure for doing this on a Mac. Has this been developed yet?

Thanks for your help!