OK, I decided to give JB a try even though the phone works fine for me now. I am on Mac 10.6.8.
As I had never used Kies, I downloaded that and installed. Right away, I noticed that Android File Transfer didn't work anymore. OK, my plan now is to remove Kies after this update to get that...