Que tal perla,
Llevo años usando PIC Basic pro y la lista de microcontroladores es enorme, prácticamente todos los PIC de 8bits (familias 12, 16 y 18).
No se si mas bien lo que tengas sea una versión demo y la versión más básica (ya que son 3, student, silver y gold), porque los PIC12F508 y 12F509 están incluidos en el compilador. Básicamente el Microcode Sutudio es solo el IDE, para agregar mas microcontrontoladores, el compilador lo debe soportar. El Microcode Studio X es para el PIC Basic Pro version 3.0 en adelante y estoy seguro que esta contiene los micros en cuestión porque esa es la versión que yo tengo y uso. Aun no he actualizado a 3.1, pero muy pronto lo haré.
saludos,
elreypic.