Son los millones de dólares en que está presupuestada la obra del túnel.