GRD2鏡頭...氧化？？

小妹最近因為GRD2相機入塵送恆隆行，心想還好還在保固期內可免費維修清理，但今天一早工程師打電話來說相機鏡頭和鏡頭蓋有氧化的情形(所以才會造成有時開關機鏡頭會卡卡的)，問我是否要更換，如要更換報價$4900，但我有疑問，在保固內還要錢錢？？工程師說因為那是外力造成(懷疑可能是有液體滲入所以才造成氧化)，所以不在保固維修免費的範圍內，請問各位大大有遇過這種情形嗎？是該付錢了事？還是只讓他清理入塵的部份就好了？？先謝謝各位大大的指教