Depende mucho del modelo. Lo mejor sería que lo miraras tú mismo.
Te comento: la tarjeta de red o bien está integrada en la placa, o bien está conectada por MiniPCI. Si es lo primero vas a tener que aguantarte, y si es lo segundo podrías cambiarla sin mucho problema, aunque personalmente te recomiendo que te compres una tarjeta USB a "giga".
Es esto, y el precio está de 10 a 20 €, por lo que creo que te sale hasta más rentable
![]()