Employees said this kind of repair could have cost about $1,000 or more, but for them, it is not about the money.