After some time of observing, I do have a leak, I lose about probably 9 inches of water with it, I think it has stopped now but it all happened in matter of days, not that big of a deal I guess since it's a decently sized pond so fish are not in danger at all. Come spring I'm gonna redo the pond again, but much much less gravel this time, and expand it a bit in depth and width. More big rocks, less gravel. Fish are pretty healthy, algae is now growing as I removed the UV filter two months ago, can't believe how much difference it makes, UV basically killed all algae, there was just clear rocks and gravel before, now there's a ton of algae but winter's coming and better for all those nutrients to be sucked up by something, than nothing.
Note to self is to be careful about use of gravel when it comes to PVC liners, they suck. They are durable decent amount, but I had a ton of steep parts, didn't dig it out properly due to a young tree that is on the edge of the pond which I plan to remove next spring. And I'm gonna be using geotextile to protect the PVC from rocks and gravel. And I think I'll be adding a bog filter then as well and doing away with this commercial one, although the pump with it I'll be still using which seems sufficient.
I am disappointed that where I live there is no EPDM liners for pond, big shame, it's interesting to me there are still companies advertising PVC as pond worthy, I guess it is but not for the kind of natural look everyone wants. Ton of time til spring, but I may be out of luck, maybe I can get some relatives from the EU to get me the liner but not sure how heavy it is.