Personally, I've used the Tornador detail tool + degreaser + scrub brush + microfiber to wipe and that has produced great results on thousands on customer vehicles. (Keep in mind NOT to apply any chemical to the pedals that could cause them to remain slippery after clean, that's a BIG safety issue.)