Anybody care to throw out a price range for an unrestored but in good condition, ie: not rusted out, straight sheet metal, No globe, 1935 short Tokheim pump? A friend knows where one is available but I would like to know a guesstimate of price range. Thanks much- Greg