There is no such thing as documenting cash tips. I wouldn't have any problems with no tipping if servers got paid on the same scale as everybody else.
https://www.irs.gov/businesses/small-businesses-self-employe...
Fill this out every month: https://www.irs.gov/pub/irs-access/f4070_accessible.pdf