I'm fortunate to have two 5000ts. The first is a professional, a surprise from my wife when I was at dive school nearly a decade ago. The second is a recent purchase, a pristine sharky priced too reasonably to pass on. The different finishes of their clasps make me wonder if my pro was ever polished. Does anyone know if the originals were polished or brushed or were they sold in both finishes? It seems to me my pro was brushed, but the finish on the sharky makes me think otherwise.