"tippemanager" er et 12-bokstavers substantiv som brukes som synonym for "holkortoperatøren". holkortoperatøren betyr: En person som leder tippingvirksomhet.