On an existing pond would you drain the pond down prior to doing this or just get wet and muddy putting it in?

My pond renovation thread here