Hey
Yeah, the links for those constantly break as suppliers come/go. The pump, though, is basically any of the 6V ones that look the same as this: https://www.aliexpress.com/item/1005008791853920.html
They should be cheap (Eg <10 USD) and often much less than that.