I still say refer them to the stewards for not serving penalty correctly. Car came into the pits, they immediately touched it to put the cooling fans on. Then once retired, they changed the tyres and did who knows what else to the car, then came out again, pitted, served the penalty, then retired the car.
10s penalty minimum for serving penalty incorrectly