Working backwards from clues in the article, thief maybe stole 200-400 ft of wire. Assuming between 3-1/8″ - 6-1/8″ diameter. Somewhere between $1,360 - $6,400 of scrap value. $70k-$100k to repair... Absurd.
If it's a "normal" wire specification that someone else can use it was likely sold for ~50% of retail.