I've seen a lot of videos of pretty accomplished people building ponds. They put down the liner and lay out all the rocks and gravel, then fill the pond. I've been reading a lot as well, and much of the reading I'm doing has people saying you need to fill the liner with water FIRST, then put in rocks. This is supposedly so that the liner doesn't tear when being stretched against the weight of the rocks when filling. Seems much more difficult to put rocks in a full pond though. Maybe I'm misreading? I plan to rock in/cover the entire pond with boulders rocks and gravel. Any thoughts? Thank you!