Pool ladder install - extension socket wrench, what size?