The Arduino clone for both 18 & 28 pin PIC or PICAXE is here and that's also where I saw the mention of the 5V 18F25K22..