OK, I purchased the standard library now and have that file as well as the extended library file registered and authorized. I assumed that i should download the standard library first, which I have tried to do.
It was a bit confusing on the site because i had thoght yesterday I had purchased both libraries at the same time. But in reality it was just the extended library. And that's why the download manager link was missing from my downloads page. As soon as i purchased and registered the standard library, presto, the download manager shows up.
Now I'm trying to download the standard library to my destination hard drive and nothing is happening in the download manager window. It says the status is "downloading", but no servers are selected (0/0) and the ETA says "3550w 5d".
I have submitted a "help" ticket to support. I guess I need to wait and see what they say?