The camper is going to be repaired

Not today, but soon, I hope. Not that something is terribly wrong with the camper and I need it now. Nothing's changed since the summer holiday (and how could anything change if I didn't drive the camper since coming home from the holiday?), it leaks a bit of oil, and the gearbox makes weird noises when I use 2nd and 3rd gears.

I will drive the camper to the guy who will fix it next week, I spoke with him on monday and he asked me to phone him again the next friday (as he has a lot of work to do). I will ask him to fix the gearbox, and some less important stuff (the oil leaks, the small thing that was supposed to be connected to the injection pump but isn't, the glow plugs and oil pressure indicator lights and the fan on the radiator).