Anybody know offhand what size the CD4E drain plug (square-socket head) is? I have looked but can't actually find this. Apart from some American sources that talk about 3/8" - I realize the CD4E is American but is the drive not metric? Gonna have to buy a key or socket bit specially for it so...