You see that his total prize pool was read incorrectly, I calculated that spending ten thousand should give about 80 coins.