Our SE told us to avoid constant speeds (motorways) and if this was unavoidable, use a few different gears on the motorway stretches.

Health to wear your new car! It's been a fair old wait...

If it was coolant, this would have been readily identified when they drained the original oil. More likely to be fuel IMHO.

I can't see how gearbox oil could get into the engine lubrication system?

Maybe try putting one in? It's a full size one needed.

Health to enjoy your new car!

To repair the dent, I have used Dent Devils previously. My last boxster got pranged by a work colleague and I didn't want to (a) have the door painted or (b) hit him with a huge bill for repair, even though he admitted it and offered to pay. Dent Devil repaired it for £50 and I never noticed it agai...

It was covered in snow a few weeks ago when we were up there. I also was in Broughty Ferry on that trip too...! Didn't see one other Porsche on the whole trip then I parked beside a 718S outside our hotel!

Just thinking out loud as I haven't tested it - could you drop the box into neutral and coast down into the garage using gravity?

Nice one - health to wear!

I agree it can be a bit of a struggle to control it. Much better with a manual box.