HI everyone, I'm turning a 6,000g pool into a koi pond and I want to do plants with top cover with semI large leaves or plants on shelves as the pool/pond will be in full sun. What plants do you guys recommend and what can I use to keep the plants and koi separate but still give them a place to seek shelter and shade? I live in Florida so plants need to be very hardy. Also I want to possibly have a grass bottom but I don't want the roots to damage the liner of the pool what could I use to protect the liner? This won't be set up for another month or so not until we close on our house it will be used temporary to house my all my cichlids for a few weeks husband wants to do a full cleaning on the tank and removed an old built in filtration box and seal it up. Pool/pond will be fully cycled before I get the koi we have plenty of cycled media from 300g tank plus back up media. Pool/pond dimensions is 18'x48" filtration I'm not sure of yet that's the husbands project to figure out, lol. Hope you guys can help me out because I haven't had any planted tanks or a pond.