Leaky valve core replacement with TPMS?

[MDMetal]

I've a BMW with runflat tyres so they have TPMS, after unscrewing a valve cap to fill the tyres up I noticed one valve was leaking air, it seems easy enough to replace the core. I assume there's no difference on a car with TPMS vs regular tyres? Just jack the car up unscrew, clean, pop a new core in and re-inflate? Looks like a nice easy 5 min job?