One of my friends is going to Thailand for 3 months. A company is actually paying for all shipping and of course airfare, living expenses, etc. He is going to ship his computer over there. He said he has a standard ATX power supply and asked if I knew if he can just plug his normal power cable into their power grid and into the power supply and expect the computer to work properly. Anyone have any idea, and if it isnt that simple, what he would need?