The first link in my post is actually the same as the one you are providing.
But as said, the Dutch reseller claims on his site that it's only good for 5400RPM drives. This confused me a bit.

But since you state that you're using it with 7200rpm drives for more than a year now I guess it's pretty safe. Thanks.