I picked up two antique metal tools at an antique shop recently and I am trying to determine what they are used for. One is about 9 inches long and has a 2 inch in diameter metal sphere at the end. The other is similar but the handle is a bit shorter. The handles are tooled for a better grip. They look like large metal pestles. My guess was maybe a tool for pushing hot glass into a mold. Need help identifying these please and thank you.
Note: On more internet surfing I think these may be dapping tools used for forming sheet metals into dome shapes used by jewelry makers, sheet metal workers, silver and copper smiths. Please if you have any other ideas or would like other pictures let me know.