Definition of TIPSTAFF.