Does it happen to be This? I was actually looking at that set because there is also a set of extra tips available for the same size pen from the same brand.