The Power of Checking for Leaks Under the Car