You are right. In my head, Mobi files were always downloaded from Amazon (and here, they always come with a DRM, right?).