Hi all, Had my X95s for about three years. Noticed that one of the Ethernet ports has stopped working (top, 1ghz). Has anyone come across this? I discovered it when attempting to change my mode from a