"tippoperatør" er et 12-bokstavers substantiv som brukes som synonym for "holkortoperatøren". holkortoperatøren betyr: En operatør av tippingtjenester.