Thanks for the heads up, Larry.
Order processed fine, but they are out of serial numbers. I've seen this mentioned before, but never ran into it myself. Would it be best to wait until more serial numbers are generated before I download it (general question, not directed at Larry)?