The following may be available at the present time.
All of these domains have been "in the sandbox" for more than ten years.

Pricing at Sedo.com prevails when different from this list.

See all the domain names.

KOIBOOKS.COM $500 Active
KOICLASS.COM $500 Active
KOICLUBS.COM $1,200 Active
KOIDEALER.COM $500 Active
KOIDEALERS.COM $500 Active
KOIFILTER.COM $500 Active
KOIFILTERS.COM $500 Active
KOIFILTRATION.COM $500 Active
KOIFOODS.COM $500 Active
KOIHOBBYIST.COM $2,500 Active
KOIHOBBYISTS.COM $2,500 Active
KOIMEDICINE.COM $500 Active
KOIMEDICINES.COM $500 Active
KOINEWS.COM $500 Active
KOINUTRITION.COM $500 Active
KOIRESOURCE.COM $500 Active
KOIRESOURCES.COM $500 Active
KOIRETAIL.COM $500 Active
KOIVET.ORG $1,500 Active
MAILORDERPETS.COM $8,500 Active
PETLIBRARY.COM $4.500 Active
PETSHOPCATALOG.COM $8,500 Active
PONDBOOKS.COM $500 Active
PONDCATALOG.COM $3,500 Active
PONDCATALOGS.COM $3,500 Active
PONDCLASSIFIEDS.COM $500 Active
PONDCLUBS.COM $500 Active
PONDKEEPING.COM $6,500 Active
PONDNEWS.COM $1,500 Active
PONDPROFESSIONAL.COM $1,500 Active
PONDPROFESSIONALS.COM $1,500 Active
PONDSTUFF.COM $3,500 Active
SHOWKOI.COM $1,500 Active
WATERGARDEN.TV $1,500 Active
WATERGARDENERS.COM $12,500 Active
WATERGARDENING.TV $1,500 Active