Hello all. This is not about resetting the TPM, we don't get that far. My 2009 Mini Cooper S was towed into a shop and the clutch was replaced. When I got it back there was a warning message that the TPM was inactive. I can get through the reset process just fine, but at the final step it doesn't reset, it just says TPM malfunction. I have been trying to do something as basic as a visual inspection of the components connections, checking power and grounds along the way, but the only component I can find is the TPM Control Module inside the left trunk panel. On regular Coopers, the central TPM antenna is under the rear of the car in the center between the rear bumper and the spare tire well, but the Cooper S has a center exhaust and no spare tire well, and I can't find the antenna -- or even any resource that tells me where to look on a Cooper S. The four wheel well signal receiver modules are a bit elusive too, but I assume they will be behind the wheel skirts somewhere when I pull them down. Finally, I assume the stock valve stem caps that have the TPM warning stamped on them are just ornamental and don't serve any functional purpose -- I'm missing three of them... Any thoughts would be appreciated. Again, I've got the reset process down pat -- it won't finish. Thanks, anyway.