Yes, 8mm heads.
I will offer these soon. I bought a bag of 200 and you need 7 for the torso, so I should be able to supply a few sets. I also have the matching brass washers too which will be supplied.
I used a chisel to split the lugs and it worked just fine, but it is still tricky.