I don't remember the price of the TBM itself, but it was going to be about $300,000 to put in the tunnel. That includes purchase and resale of the TBM. Prices for used TBMs seem to be mostly measured in meters drilled, so if you're only putting a kilometer onto a drill with five, you're not going to hurt the value much.