Muchas gracias Pablo, al final me decanté por el plugin de codecayon.
La verdad es que lo he podido configurar muy bién, además tiene un validador de códigos que puedes incorporar con un shortcode a cualquier página y que a la hora de las reservas le irá fantástico.
