'Spider' bots scan blimps for leaks using cameras and LEDs and make blimp repair more fast and efficient than traditional methods.