Uh, you might be right lol. I pulled mine last year and I can't recall but I'm sure it was. There was dried up 40+ year old residue all over the roof ceiling. I'll definitely shop around on prices for an installer to do it. Pishta is right, if can be done for $200, probably worth it.