GHD do a mini version, has anybody got these or any other brand? I have standard ghds which work a treat but can't get them into my roots, and as I have short hair I'd love to travel lighter.