Oh, sorry, that heating code should clear instantly when the O2 sensor starts drawing current. The shop should have known this.