I can't give you much help here, except to ask --- where are you planning to keep all these fish while re-doing the pond?
My gut instinct says don't worry about the walleye since they are skinny. Perhaps save the smaller ones which have not been stunted yet. they would also be easier to store while working on the pond.
What are your ultimate goals for the pond? Big walleye? Big Perch? or?
