I have made over 18 000 faucet claims in 3 years and I haven't rolled 9994 and higher numbers.
This is still a low number.
You can still roll under 10000 for millions of rolls! If you are lucky you will get 10000 on 1st try but if you are unlucky (and this is improbable) you will never get 10000, it can took even an infinite number of rolls to get the 1st 10000.
Now if we consider an infinite number of rolls we have exactly one roll=10000 every 10000 rolls, and with all these results, we can calculate when we expect to hit 10000 with a median value.
The Median value is the value where 50% of user will expect to hit 10000.
The Median value for 1/10000 is 6888 and is the number of tries where we switch from lucky to unlucky person.
The % to get the roll is the written below and I used this formula:
% = (1 - ((1 - % of the roll) ^ rolls))*100
I made this example for 10000 with OpenOffice right now.
The % to hit 10000 after x rolls is
% Rolls
0,0999550% 10
0,9950661% 100
4,8772954% 500
9,5167106% 1000
18,1277435% 2000
25,9192892% 3000
32,9693361% 4000
39,3484504% 5000
45,1204829% 6000
50,3432078% 7000
55,0689010% 8000
59,3448637% 9000
63,2138954% 10000
86,4678251% 20000
95,0220400% 30000
98,1688024% 40000
99,3263737% 50000
99,7521991% 60000
99,9088437% 70000
99,9664672% 80000
99,9876646% 90000
99,9954623% 100000
99,9983307% 110000
99,9993859% 120000
While the % to hit 9885-10000 is
% Rolls
10,65205309684930000000% 10
67,57755408427540000000% 100
99,64171479701720000000% 500
99,99871631713320000000% 1000
99,99999998352160000000% 2000
99,99999999999980000000% 3000
Of course, all above considering the website is not cheating