The bike has worked perfectly (as it should with those miles) so far. Now at roughly 11 000 kms or 6835 miles I noticed the right side fork seal leaking a bit. Nothing major by the looks of it.
I really don’t know how long this has been going on, but I guess something has to be done before next summer. Out of curiosity, I’m going to get a price quote for the job from the local shop. The bike is due for a 12000km service anyway. If it’s not outrageous, I may take the easy way out and NOT do it myself.