Can anyone suggest where I might find an alternative charger for this? I don't have the computer in hand yet, but I understand that the plug is non-standard and also that it needs 7V. The service manual also states that it takes a 45W charger. Is there any chance of being able to find the computer plug? If I can do that, it shouldn't be a huge deal to run/charge it from a 7V wall wart or other 7V supply.