How many guys does it take to fill one pothole?