Thanks for the advice on how to buy. My other concern is what to buy especially as regards Chinese cpu/gpu chipsets.

From what I can see, the chip to hold out for is the Rockchip RK3066.

The announcements so far are restricted to 9”/10” devices. Does anyone know of what the next chip of choice for 7” devices is likely to be? Could it be the RK3066, i wonder.