Grazie ragazzi
Sinceramente non so che tubi siano, hanno un diametro di circa 1 cm (T5

)??
La lampada è accesa da aprile quindi devo provvedere alla immediata sostituzione. Procedo come ha suggerito supergippo.
E' meglio lampade originali oppure si può cambiare?