What kind of oil is in back of my parent's big screen??!! HELLLP?

My dad has a 52" Crosley big screen projection t.v...He's low on his budget, so taking it in to a repair shop may empty his pockets..He's skilled in fixing electronics & wanted to do it himself...but I told him to wait til i find out exactly WHAT KIND OF OIL IT IS to put in the lamps?..What happened when he was cleaning the lamps is he accidentally spilled a little of the oil & now the picture on the screen is "fisheyed"...Is there anywhere I can find the oil to replace in the lamps??.....Also, IS IT SAFE TO DO AT HOME?...The T.V's around 10 yrs old :(.....your helps appreciated :)...thx...DreO