Hi RichM,
Most likely to be a bit of residue from when it was drained.
Mind you, I wouldn't have thought that you'd find it on the undertray, also.
May be worth checking that he used a new sealing washer whe he refilled the IRD. If not, I'd order yourself one (and a filler plug washer)...