Koi can stirr up the bottom. they also break up to F. Algae so thats a positive.

I tend to agree 5 koi in a pond that size shuold not stir it up too badly. I have about 20 in my half acre pond and it is definally noticable.

Goofing off is a slang term for engaging in recreation or an idle pastime while obligations of work or society are neglected........... Wikipedia