Sounds like the IRD has been tampered with because it is broken .... why else would they take out the pinion and remove the propshaft? And if the IRD needs replacing, you should replace the VCU too, because that may have been the reason for the IRD failing.
Not uncommon to hide problems thsi...