I was told by the outfit that sold me the stuff for this project that a pond like that, installed goes for between $8-10K.
I did it for $3K.
My wife said, oh when you are slow you can do this as another career. I said that was and is, my first and last pond. That is hard work ya know, for an old guy like me??