The question is how much of that hash has been at play and how much new will hit the network with the June batch. Subsequent batches are still on the assembly line so impossible to know the final result.

I wonder if we will see a ZEC difficulty drop for a short time when they ship. Or bitmain may be smart enough to send several waves so that by the time later shipments arrive a few days after the first, the initial shipments will be up and running with their new owners. This would make it hard to know their real network hash footprint.