I could not locate a thin walled socket and was able to remove and reinstall the bolts with a small 10mm open end wrench

__________________
1981 240D 143k 4 spd manual -SOLD

2004 VW Jetta TDI 5 speed 300k -still driven daily