This old Gas Boy pump is for sale locally - I need to find out when it was built and what restoration parts are available - any ideas? Thanks, Steve