The engine oil won't have damaged the tensioner or idler - the bearings in them are sealed. Personally - for the cost of them I would replace them (it's only about £20), but that's just for peace of mind really. What make they are is an important factor as well. 5k miles isn't much though, and they may well be ok.
Les.