Does anyone know who was manufacturing the bezel wrench that has the two sizes (for large and small bezels), one at each end of the pipe? A friend wants to get one and I can't recall if I bought it on eBay or from the list. Scott Suhring Mechanicsburg, PA '70 TR6 '59 TR3