They're slowly leaking 5G miners out, so as not to skyrocket the difficulty all at once... They are in all likely hood mining themselves with the lower difficulty. If they did release everything at once, it would drive the network hash rate up close to 350TH/s meaning the 5G miners would only be making ~.05 coins a day. This seems kind of obvious...