Some students have even wondered if they mean that these books can't be borrowed!
The red dots are just an indication for library staff that a particular step in ourbook processing procedures have been completed. They don't have any impact on the availability of a book to borrow.

So now you know!