Mine was 1/2 inch on Gas (drip) 1985 Sundancer 34' seal.
Take a piece of seal out when you open it up to make sure of the size... and then keep a piece in a plastic bag in your spare parts drawer so you will know size when it happens again in 10 yrs. at least thats what I did..and used it 6 months later!
