If an IMRF employer operates a facility (such as a golf course or restaurant) and employees receive tips from customers, the tips constitute IMRF earnings to the same extent as they are taxable income and Social Security wages.
IRS Publication 531, ”Reporting Tip Income” explains tax treatment of tip income.