Not sure. The airframe was repaired and flying again by 1998. The cost to produce a brand new F-117 was about $108 million, so the repair of this one was probably "only" a few million.