IIRC, the Boring Company's Boring machines were one of the things that actually worked, in that they could dig a tunnel faster than the competition. The problem is how hot the cutting head gets and how frequently you have to replace it - turns out previous generations of boring machines had more or less figured out the optimum ratio of cutting speed to maintenance interval, so going faster is a marketing gimmick.