I did check, but we anyway had the 2nd set of indicators on the ovhd panel.
In case you do not have this backup, I would've insisted as well to get it cleaned. The dirt didn't get in there overnight, probably, so mtc has probably missed a few occasions to keep matters in their own hand.