Hi Darrel,

These will be boards based on the PIC32MX440F512H-80I/PT running at 80MHz.

See this thread on the StickOS http://www.picbasic.co.uk/forum/showthread.php?t=13221 and the videos.