Yes I shortened two of the studs left by the shotcrete people. thought to put hangers on them but couldn’t get ones with 12mm bolt holes. Could probably drill out some 10mm ones. Particularly on the top which is like a hedgehog. Some of the shotcrete seems to come off fairly easily. A day with a wire brush would probably do a lot of it.