At just 120mm long the BBB Doubleshot must be a contender for the smallest manual pump? Just released is the BBB Doubleshot, already a Red Dot...