That's not quite how that works. The 2.13 is guaranteed. Employers are also required to bring that up to 7.25, if there aren't enough tips.

But, yeah, the first 5.10 in tips each hour really just goes to reducing the employers burden, not increasing the servers take-home.