Does anyone know when G33 based boards are likely to be widely available in the UK?