Hi Jim
That's going to take some water to fill that , I hope it gets sorted out soon
the local council empty it every year to clean out the sludge and check the sonic transponders that they installed some years ago to keep the weed away [ and it works well too]. And 2-3 years ago they spent nearly 100K on new pumps to pump the sea water in at high tides.
what will actually happen is that once the cleaning has been done, they will open the new sluices to the boating lake next door and let the water from that lake fill the model lake and the paddling lake next to the large one.
Once both are level the council will use a portable pump or even call the fire brigade who regularly use the lakes for practice pumping and drain the second lake before cleaning that one as well. then that lake will eventually be filled by firstly allowing the large lake to fill from high tides, and then using the pumps and open sluices from the model lake the big lake is finally filled. the process of filling each lake takes about 3 days of high tides, depending on times of high tide.
Jim.