I have been topping up my pond, when necessary.
The fish have really grown and seem active and happy.
I haven't seen the large frog again. However, I've noticed a number of baby frogs hopping around my garden.
I'm hoping my fish will breed next spring.