If you don't have the supplied Allen wrench, what size would it be? Thx