Another option. Hire a backhoe with operator. Much further reach and can get into corners easier. I've seen them do a very large pond is 1/2 a day. At the size you are considering you definitely would be large enough for koi.
Good luck with it and enjoy finished results. I love my little pond and larger one and have koi mostly.
Bonnie