Pues yo lo que te diría es que usaras las que veas que no te dan problemas. Si fuera yo empezaría por las oficiales y si tuviera problemas pues las otras. Lo que puedes hacer para diferenciarlas en el programa es meter unas en otra carpeta y luego vas cambiando la carpeta de librerías DLDI en el GUI32.
Yo con mi M3 Simply micro-SD uso las del R4 y va perfecto. Me encanta lo de las DLDI, como dices es un gran invento.
Saludos!