Dirk,
hi, thank you for this quick answer. I have found something under hard top in the technical manual, but the text is referring to numbers which in the pictures are not present. if you can send your procedure should be more as welcome.
as for the pins, one I had cut off, used a grinder, and this was not best option as have to replace the plastic now as well. a small dremel tool is perhaps also an option. Or drilling out, this i have rad somewhere as well.
thanks a lot, yes is first time on the forum. quit interesting. Ray