Only 311MB. Interestingly, the WLAN driver alone had 377MB
I have to "unfortunately" announce that I have just sold the device. A buyer quickly reported to the Ebay classified ad (no ~10 Percent fee for ebay).
He wants to use the device for auto diagnosis in a car workshop.
It was not important to him whether the audio could possibly have an error.
I had problems with Win10 but also after installing the "naked" Win7.
I asked for € 375 (~ $ 417) and we settled on € 360 (~ $ 400). With NoName USB3 card inserted. Apparently I no longer need them on the MK3.
I think that's a good price (for me). Because, in August 2017, I paid € 293.99 (~ $ 326) including postage as an eBay auction.
A few days ago I bought a CF31 MK3 (thats the reason to sold the MK1) for € 286.85 ($ 319) including postage.
I may be expecting the MK3 tomorrow. I hope it also contains a DVD with the operating system.
Otherwise the question now applies to an MK3.
OT: Do you know if MK3 can handle more than 2.2TB? I did not find any information about this before buying spontaneously.