Again, a significant proportion of the physical investment will be imported, but a large domestic spend is nonetheless likely.
A further thing we know about the boom is that it is associated with a much higher level of the exchange rate than we have been accustomed to seeing for most of the time the currency has been market determined, a period of more than 25 years (though, over the long sweep of history, the nominal exchange rate was often considerably higher than it is now).