That rule is rubbish. 600 gallons is plenty for half a dozen koi and when
they get large enough to be a problem you just rotate them for smaller ones.

Not everyone has an acre of property to fit a 10,000 gallon pond

10000 / 8 = 1250 cu ft

15 x 15 x 5.5 feet