Should the gastric antrum be vagally denervated if it is well drained and in the acid stream?