I picked up these 4 wrenches over the weekend, all wild caught just digging through random yard sale tool piles. I already have one of the big beasties on top, the second one down is common, and the bottom Planet Jr cutout is my first. Those are easy, it's the third one down, the gator wrench with the bottle opener... any ideas on that one?