Daf XF gearbox problems?

My 85 Synchros went at about 650000k The gearbox casing had also gone porous, I think that these things may have been related. Thank god for Maintenance contracts is all I can say