Do you tip the person cashing out your jackpot at a casino?

I just read an article stating that it is customary to tip out the attendant that brings you your handpay. It suggests an amount of 5% to 10%. So, if a person wins $10k, they are expected to tip $500-$1000. That to me seems really high. Besides, aren't these people regular employees that are salaried? Also, what service did they really provide that warrants a tip? I've never win a handbag in my life and I was just curious since I do hope to be in that situation at some point.