Buy AC Adapter & Power Cord

Hi,

I am new in playing with TK1, while just lost the AC adapter and the power cord. I wanted to buy one but find nowhere available on official website or Amazon. Could anyone tell me if there is any place that I can get one or some alternate ways to power it?

Thanks so much!

I have not purchased any substitute, but here is a URL that gives some good information on determining what the supply requirements are:
http://elinux.org/Jetson/Jetson_TK1_Power