I have the impression that the Boring Company could reduce costs of subway mile significantly if they tried