Has anyone put 10mm crushed rock on the geotextile liner? I'm wondering if it will poke through or not. I got a load of pea gravel, but it looks like 60% pea gravel and 40% crushed rock. thanks