Repairing a hole in a giant, $30,000 tire with power tools