Yes, the ready-to-use version arrived, and its from one of my favourite developers of boards out there-OLIMEX !! They have got us used to top quality stuff, no doubt !!
So THIS BOARD , with a PIC32 MX440F256H, uses the PINGUINO IDE , with the same kind of language that Arduino got us used to !
I am also doing a PINGUINO DIY version of it with the PIC32MX250F128B DIP, that takes advantage of the USB bootloader for the PIC32.