Hello everyone I am trying to find a good small fish pond to take my son to. We tried Washington park on Sunday and had no luck, might need to go further out/deeper due to heat. I work at the 70 and colorado and noticed that city park and Vanderbilt park are close. I haven't found anything using search that was recent. I'm not asking for anyone to give up their honey hole just want to know if these places have decent amounts of fish. Or any tips for wash park. Size is of no concern as all will be for my son and catch and release. Any info would be greatly appreciated thank you.