Thanks, Greg
That confirms that the tube is 9/16" which my searching tells me is now unobtainium, as is the fitting that goes into the pump. I have a plan to modify a 1/2" flare adapter by drilling it out and machining the pump end for a compression ferrule. I'll let everyone know how that works out.