In collecting vintage Airguns in the US you find mostly pump guns. My focus of collecting lately have been prewar spring guns. I have always heard that cocking spring guns is more efficient given pumping of air gives off wasted heat? Has anyone ever calculated the efficiency difference?