I recall reading somewhere that you need a thin wall socket to remove the tailshaflt flange nut on a manual transmission. What size is the big nut and what kind of socket do you need? Also how do you keep the shaft from turning while removing the nut?