Why would you ask that? That's a personal thing. I have always tipped well because I have worked as a valet and waiter in my past.Did you give the jackpot to the crew?
However, tipping is personal. I recommend not asking someone about what they tipped or trying to guilt someone into tipping more.
A tip is not mandatory. Giving the whole jackpot away as a tip is not mandatory.