Grarrentoph, the Worldquake

When Grarrentoph, the Worldquake dies its
owner may shuffle it into their library.
On your turn you may pay {4}{r}{r}{g}{g} to reveal
cards from the top of your library until
Garrentoph is revealed. Put it onto the battlefield
and all other cards on the bottom of their library
in a random order. Garrentoph enters the battlefield with a number of +1/+1 counters
equal to the number of lands revealed in this way.