How much is 1 inlet cap of salt?

I am trying to make some Pina Colata with this new slushi maker I got yesterday. The machine asks me to put in1 inlet cap of salt (rock or table salt). Except I dont know how much 1 inlet cap of salt is worth. Can you please help me? Thanks.