Good idea - do some fishing with worm placed near the bottom to see if you can get a couple more individuals. If you have bullheads it should not be hard to catch a few more.
aka Pond Doctor & Dr. Perca Read Pond Boss Magazine - America's Journal of Pond Management