Here in Chile that X1C is about $1600US. Is 3D printing with good tools still that expensive or is it just Chile?

https://i.nostr.build/3PxDY.png 

 Yeah.  It's maybe $1500 or so for the X1carbon.  The P1S is cheaper.