Peter works as a food server in an expensive restaurant. He tells you that he did not report his tip income of $18,100 to his employer. Must Peter file Form 4137?