. . . . "Ortiz said the tool cost roughly $230,000, a price tag that included some of the infrastructure, such as antennas and cables that were installed." .