I have recently purchased an Ketron SD90 directly from a seller from Italy and have found: it has an 8GB internal hard drive built in. At least it shows me so when I connect the SD90 to my PC.

But it is stated in other portals in the technical specifications with 16GB.
Does anyone have SD90 and can tell me, how big is the internal hard drive on your SD90?