Grazie mille per le risposte ragazzi, sono molto più tranquillo, anche se non è proprio indispensabile potrei anche sostituirlo, se è stato messo lì serve a qualcosa eheh
Se non sta più al suo posto, puoi fargli qualche giro di nastro isolante per aumentare il diametro.