Here in France I could get the 2.5.1 version too.
Once again, for the third time in a row*, the update froze the Mini and I had to turn it off and on, then log out of my account to prompt a new download.
Anyway, everything seems to be working just fine, but I haven't tried too hard
* with 2.4.0, 2.5 and 2.5.1 firmwares