The EUV light sources are all made in San Diego. Currently, there is no single country that can make an 3600D or equivalent machine. Which shouldn't be surprising given the complexity.