Some folks have asked for pictures of the underside of the car. Fair enough, here they are.
For those of you wanting to check the numbers, they are:
Engine 930/60 6700745
Transmission 930/34 7700867
The selling dealer was kind enough to record the engine number in the owner's manual, like he was supposed to do, so we know that this is the original engine. The bottom of the engine/transmission assembly is quite dry, as is the top. When I had the engine out shortly after I bought the car, I had all of the usual problem seals, gaskets, hoses etc. changed, so I wouldn't have to deal with leaks later.