What kind of pumps are those? How much are the replacement tubes and do you need to replace often? I can attest to the beauty of Bernie's tank. It is a spectacle!