Thanks for your help. I was able to set it up at home, but used an entirely diffferent set of parameters (based on my daughter's phone (same model). I used:
My question is, which of these is correct? Mine or the one your link suggests? It seems to be working now, but at work, it was not authenticating. I had to re-add it once I was on my home's wifi. I think there's some issue with trying to set it up anywhere but there. Could that be?