> I don't know the exact numbers of machines but my educated guess is that TSMC and Samsung together probably have close to 10x the EUV wafer capacity compared to Intel.

There are currently zero EUV Wafer from Intel. Which means the answer to your question with would be close to infinite.