It is really unlucky for him that he did not put any amount while rolling auto, he might be checking out the seed and having a feel of the situation when he hit the jackpot  but no one in the right sense will play with auto bot unless you are hunting something else, the thrill of playing the game is a different experience rather than using a bot to do that activity while you are busy monitoring the rolls or doing something else  .
Having an automatic jackpot payout is the way to go, first it is difficult to get and since there are players who uses bot, they can miss those, it is a realistic situation.