The Tokheim pump is sold. Thanks