It appears that The Boring Company uses both off-the-shelf TBMs and their own designs (and, I think, also a customized off-the-shelf TBM). It would be interesting to learn which one they used here.