Are they any good as a pondfish? have any of you ever tried them? Will they spawn/lay eggs in most ponds or do they have complex spawning requirements and will they have to be restocked at some point? Can they coexist with other fish?