No, the phone was not rooted.
I didn't go through the process of rolling back the version number. I am on a Mac, and I couldn't install the drivers, etc.
I did do a factory reset, and the phone is working much better. You're right, it was not as difficult to restore the old settings as I had feared.
Thanks for your help!