I noticed expansys-usa.com is selling both the US and the UK version, with the UK version being $50,- more expensive. Does anybody know the difference between the EU, UK and US versions? Is that just the plug on the charger or will there be other differences to take into account?