In order to cope with space limitations of existing infrastructure, the cryomodules of the HIE-ISOLDE superconducting linac feature a common insulation and beam vacuum, imposing the severe cleanliness standard of RF cavities to the whole cryostat. Protection of the linac vacuum against air-inrush from the three experimental stations through the HEBT (High Energy Beam Transport) lines relies on fast valves, triggered by fast cold cathode gauges. To evaluate the leak propagation velocity as a function of leak size and geometry of the lines, a computational and experimental investigation is being carried out at CERN. A 28 m long tube is equipped with cold-cathode gauges. A leak is opened by the effect of a cutting pendulum, equipped with an accelerometer for data acquisition triggering, on a thin aluminium window. The air inrush dynamics is simulated by Finite Elements fluid dynamics in the viscous regime