https://www.dol.gov/agencies/whd/state/minimum-wage/tipped
Yes, note the column “Basic Combined Cash & Tip Minimum Wage Rate.” They have the same $7.25 minimum wage as everyone else. If they don’t make that much in combined tips and wages in a given week, the employer must make up the difference