I payed about 65 euros in a large store. You should be able to find such a simple pump easily in your area. It works with mains power supply, so I just had to connect it to a smart socket, and control de socket with simple on and off commands according to pH level with an automation. Some sockets allow to set a countdown to power itself off. I suggest to get one if this for safety purposes, just in case the automation off command fails for some reason.
I think yours will work, although those pumps are usually installed for small/medium aquariums. My pump is installed in a 8.500 liters above-ground pool, and I usally need the pump to be on about 20 seconds every few hours, with the flow set to about 30% (pumps usually allow to adjust the rate within a specific range). The type of pump you are sharing has usually around 25 ml/min flow rate max. I suggest to do some math to guess how much reducer you have to pump into your pool and how long will the pump has to be on according to that. You could also just try that small pump and check whether it works for you. Do not forget to get a suitable power supply for it.