extension device

extension device

Any device (excluding an adjustment screw) used to obtain vertical adjustment.