well, here is what I found, looks like someone could be in trouble. Keep in mind it is from a law firm and not the state but it is centered on Florida Law.
from:
Tipped Employees, Minimum Wage & Overtime Law Florida
A second mistake employers commonly make which invalidates the “tip credit” is that employers create an improper “tip pool” for their tipped employees. For example, restaurant owners cannot “pocket” a portion of their employees’ hard earned tips. An employer also cannot force tipped employees to share their tips with managerial or other employees who do not customarily receive tips (i.e. cooks, manager, owner, office workers). If you are being required to share your tips with people who do not customarily receive them, the “tip credit” may be invalid, and you may be entitled to the full
federal or
Florida minimum wage, whichever is higher for the past two to three years under federal law, and the past five years under Florida law. You also may be entitled to up to double the amount of your unpaid wages plus attorneys’ fess and costs