your calculation makes sense, yes ... yet again, it is somehow hard to believe ...
And so I decided to have a look at some other servers and devices coming with those devices and what shall I say, it appears, you're correct after all :)
With a similar drive and the identical firmware I see...