I know this one uses the allen bolt, but what size allen wrench is needed?