Ever thought of selling the big koi to dealer/collector? They are big money in fish stores