ASMLs machines can easily be "one of the most sophisticated" without stepping on LHC or ITERs toes. I'm not sure ISS qualifies anymore. I would have went with JWST.

Can’t buy and ship those.

I love how ASML machines are shaped to the contours of a jet fuselage for this reason!

no.

neither of the observations gp made is dependent upon the definition of machine, nor is it dependent on the inclusion of the examples you brought up in that definition.