No idea to be honest.
With the 8924 they have 5,6,7 then 13,14,15 etc.
I 100% definitely downloaded 10 and 11 from their site, but they have since been removed.
They used to also have an Italian ftp site. sometimes releases would only make it to 1 or the other. might help explain why random firmwares are missing.