Im building a 250 gallon garage pond and plan on keeping either a single koi and a few goldfish or a pair of bullhead cats. Would you suggest any other type of catfish. The water will hover slightly above freezing in the water so no tropical fish. Im open to any other coldwater fish too. Should I be worried about there whiskers poking a hole in the liner.