They've also done something interesting: They're listing the 11,055 current enrollees who haven't actively re-enrolled as of yet. If every one of them did so (they won't), that would bring the grand total up to 101.4K.