Bueno al final he hecho un poco chapuza pero que funciona, para quien pueda interesar.
Las miniaturas tenían nombres como /imagen-100x150.jpg
Y las imágenes originales que necesitaba tenían nombres como /imagen.jpg
Así que con PHP le he quitado los últimos caracteres de la cadena y luego le he añadido la terminación.
Código PHP:
<?php
$mini = "$image[0]";
$num = 12;
$grande = substr($mini, 0, -$num);
$formato = substr($mini,-4);
?>
<a href="<?php echo($grande);echo($formato); ?>"><?php echo($miniatura); ?></a>
Si hay alguna forma de mejorar ese código también lo agradecería, ya que yo no sé PHP y está hecho 'a mi manera'.
Un saludo!