pressure test would but you can also get some stuff you put in header tank and it changes colour if theres any exhaust gases etc in the water but from what you've said i'd chnge gasket any way only afternoons work and £70