You can mix them any way you want.
If you go with all lava rocks. Get some heavy gloves and a hammer and bust them up to the size you want. Wash them off and your good to go.