For those interested, I found the user group in Active Directory that IT uses to facilitate the walkout process and prevent system access by terminated employees. That user group had 793 accounts added to it today. A handful of those were duplicates (folks to had elevated access privileges via ADM accounts. So I'd estimate some 750-775 got walked out today.
Bumping this for info from @b4+1k844zhfv.