What do people do with old (but still functional) pumps that they don't need any more?

Do they sell them on ebay? I have another backup pump so I dont need to keep it (530G)