Sounds about right. I'll likely never need most of it but grabbed it all shortly after the site was pulled anyway.

I think I still have the 9.2.2 patch if someone needs that, but I'll have to check.