[morzh]

My problem is, I do not necessarily know the name of certain fasteners.
I was looking for grommets and eyelets, but had zilch.
Went to Michales, nothing. So was the Harbor freight.
So was Amazon.
Eventually I came up with my own name, "hollow rivets". This worked, and I was offered things that looked usable, with that exact name.
But then, along with this, I was offered holster eyelets, that are the same things I am looking for, and longer length, which was what I could not find in eyelets/grommets.
So I found exactly what I need, with the setter tool, and a 50pcs of #8 eyelets of length 9 and as many of length 12 (8 and 10mm) plus the setter together is $23 on Amazon, and will arrive apart tomorrow and Monday. Which is OK: tomorrow I will be trying to get my family on the cruise ship, while the New York Marathon is on, and this will be a tall order, and I will be tired afterwards.

Provided I did not destroy the other things in the process, itr might work. If not, I will try to fit some insulated sockets that I have.