How much does the SEA Tool cost?