I picked up this punch a while back and have not been able to find any info on the manufacturer Whalebone. This is not whalebone it is metal. Has anyone come across this brand before?