Yes, most likely a previous owner... You never know about the extras unless you know what to look for... Selling the hardtop pays $1000-1500; having it on the car and asking a higher price... I don't think so...
I used this
link to identify that what I was seeing in my car was indeed the spinlocks.
It is said in forums that they are a pain to install. I was lucky I guess
