yes ideally they should be taken out and then cleaned. but as it goes, if its working then best not to fiddle with it!
Im guessing one could clean them one by one setting each one to tdc and then cleaning it, washing with fresh pressurised lube and then moving each cleaned piston down frm tdc to inspect any garbage left along the cylinder walls.
Has anyone actually seen anyone doing this while on a head gasket job?