Yeah they are.. they have a few, their first was just off-the-shelf technology, the second is a hybrid, and their third one is apparently fully designed by Boring Co.:

https://tunnelinsider.com/everything-we-know-about-the-borin...

Pretty sure that's a joke, unless rocket engines are suddenly useful for tunnel boring...

The pictures are jokes since it's proprietary to the company, but the names and descriptions are real. There were some spy shots of the gantry being used to set up 'proof-rock' awhile back:

https://www.teslarati.com/elon-musk-the-boring-company-tunne...

With the Tesla EV, you have to market to the public how the car is better because you're selling it to the end customer. With the Boring company, you don't have to prove to anyone but yourself, or the governments or the project investors that your bid is good.