It is funny that there are in fact a number of different products from different manufacturers with the model number DX4000. None of which af the Amstrad GX4000 though.