This is just an Aqua One Ocellaris 850... And they are under £90 on Amazon. So quite cheap anyway, which makes me feel that this is a cheap china model like Sun Sun and All Pond Solutions type filters. Nice vid though, and I hope the filter serves you well.
Most times I don’t have to pump it at all. But if it hesitates to get started, maybe 2-3 times. I posted this 10 months ago and it’s still running strong!