ASUS Eee PC 1015PED, 1016P und 1018P ab Ende Juli/Anfang August im Handel