Wenn das R12 drin ist, kann man aber nicht einfach das R134a auffüllen, das macht normal auch keine Werkstatt.
Es müssen die Anschlüsse getauscht werden oder evtl. Adapter benutzt werden, dann muss das gesamte System gespült werden und der Trockner getauscht werden. Anscheinend müssen auch die Dichtungen (O-Ringe) erneuert werden?! Aber bei dem Alter wäre es auch sinnvoll.
Aber wenn du in Holland noch auffüllen kannst und das näher & billiger ist, dann würde ich es wahrscheinlich auch machen.