What is the tool that I have seen Richard use to remove the plastic nuts from the bottom of kitchen faucets? Where can I get one?