Here's the tut:
https://www.youtube.com/watch?v=uJRDj-fwkG4&t=508s
The reason why I'm asking is, that there seem to be many different rock generators, all the links I've found on the web point to other rock generators (such as here) and were wrong.