I have been unable to find a service manual for the HP tc4200. I have the fairly simple task of upgrading the WiFi and I need to know where the blasted mini PCI slot is! Short of completely disassembling the thing, I went looking for the service manual on hp.com and while they teased me with a link to a .pdf file, nothing was there. sooo. short term, where is the mini-pci slot on this guy and long term, does anyone have a working link to the tc4200 service manual? Thanks!