On Mon, May 9, 2016 at 8:45 PM, Volkan Özçelik <volkan.ozcelik at gmail.com> wrote: > Is the tip harvester still functional? Sadly, it is not. -n