Do you know the size of the power cable? Of the tip because I broke mine and I can't find any information on the charger model? Thanks for your help!