Pues al final me podía la curiosidad y he acabado probando con BleemSync.
No sé si es porque he hecho algo mal (aunque he seguido los pasos que salen en GitHub a rajatabla) o porque el PEN no funciona bien o qué, pero lo he probado con dos, y en uno ni si quiera lo reconoce la Play (es USB 3.0, no sé si tendrá algo que ver) y el otro sí que lo pilla, me sale el juego en el menú, pero al darle sale lo del logo de PlayStation, suena la música (aunque mal, como algo cortada y robotizada) y se queda ahí, en el logo.