In 13 years of automotive experience, I have never seen a bad fuel filter. The mechanic probably broke off the quick-disconnect clip on the line, or he lost a rubber o-ring!