The updated layout of Gmail doesn’t quite follow the same steps as above. I had to first verify the “account add” by clicking a link in an email sent to my old account. Then I had to go to the Settings pane of my new gmail, and add a POP account. That’s where you put in all the settings above. I was able to use pop.gmail.com and it worked. The interface provides a drop down menu populated with several options….the last one was “other” which I presume would have allowed me to put in the IP address as instructed above. But I decided to try pop.gmail.com (from the list) and it worked, so all’s good.

It’s downloading 200 emails every time it tries. It shows around 400+/- emails still waiting every time (there are 1000s in reality) but it does keep going back for more and finding more waiting every time (see the “View History” link where the POP acct is listed). A week or so, and it might get done! But that’s ok, it’s SO worth it. I have been desperate for this solution for ages.

Thanks Silvermac!!