Benchmark Games Ticket Station Manual page 15

You can modify setting by changing the values (marked in green below) to the parameters provided after the # symbol.
Example:
Machine number – You can choose any number between 0 through 100. So, this is machine number 5 that section will
look like this.
MACHINE_NUMBER – 5 #0-100
Machine number will display
on printed receipt.