Resources for Leak Detection and Repair