Haven’t heard, but I’m sure it was in the hundred’s.
That sounds like a reasonable estimate to me. I have a feeling that info will come out as the J6 onion gets peeled.