Moreover, just in case you do cant you create a group cover pump, you might still use an average garden hose as a makeshift billiards cover pump.
However, if you had to literally identify it will no doubt be more difficult to dismantle it.