Koi dealers

A friend of mine has about a dozen koi and unfortunately due to their family health reasons the family needs to sell them. Can anyone recommend someone who can fairly judge the value and/or is willing to buy? Thanks.