This has prompted me to look. My Texas machine is on 4 0 1. Wondered why I liked it so much. The UK laptop just got worse and worse while I was there.
Nothing I could do would allow the downloading of 4 xx 5 xx turned up and was closely followed by the rest.