Doubt or no doubt?

It is. That's an eject tool. Pretty much all disk drives have a tiny little hole on them, and if you bend a paper clip and shove it in, it pushes the mechanics manually and opens the drive.