Great. For anyone that has download problems, try taking the capital 'A' out of the server name. Change it to lowercase. Some DNS servers have issues with capital letters unless the host server has it that way. Others don't. See what works for you.