Yep, my son works at a restaurant and he gets paid 7.50 an hour but he can only work up to 30 hours a week because he is still in high school. He can get tips if the servers want to split them but we have told him that the servers may need them more than he does.
Boy brings back memories, back in 1985, minimum wage was 3:35. I used to be a salad prep with no tips, and smelled like a salad when I came home. He sounds very consciensious.