I was looking at that one too. But the seller said is 12 mm long and 8 mm wide wich is almost 5x3 inches. So is not so big. And also he said was used with oil.
But nice score. Congrats.