Total mining pool hashrate atm is 4.20 GHs. Total network is 5.09 GHs

That leaves 0.89 GHs which is ~17% hashrate that could be them. Real number is likely significantly lower since we aren't including solo miners. We should still take it seriously still but doesn't seem anywhere close to what they claim.