Once again I spoke too soon...
After a day or two of normal function Ethernet is dead... again!
At some point I managed to make it appear in the list of available ports, but although the cable was connected, its status was red (No ethernet cable recognized)
Running the ifconfig command in the terminal gave me the following results, concerning the ethernet:
----
en0: flags=8863<UP,BROADCAST,SMART,RUNNING,SIMPLEX,MULTICAST> mtu 1500
ether 00:0a:95:d1:29:ec
media: 100baseTX <half-duplex> (none) status: inactive
supported media: none autoselect 10baseT/UTP <half-duplex> 10baseT/UTP <full-duplex> 10baseT/UTP <full-duplex,hw-loopback> 100baseTX <half-duplex> 100baseTX <full-duplex> 100baseTX <full-duplex,hw-loopback> 1000baseT <full-duplex> 1000baseT <full-duplex,hw-loopback> 1000baseT <full-duplex,flow-control> 1000baseT <full-duplex,flow-control,hw-loopback>
----