does anyone know the length of the El grande ballpoint tubes? I know that they are the same diameter as the El grande rollerball but i believe the Pen body tube is shorter anyone have a set of tubes they could mic for me?