The proximity sensor on my note 10 pro doesn't work. It has always been a bit flaky, but now is unbearable. I have been into System app settings- call settings - incoming call settings, but once here, the only options are Quiet ringer when lifted, Increasing ringtone volume, Flash when ringing, and that is it. Anyone have any ideas ?