3 ms·

Sadly, heat pumps are still very rare. (They're much harder to do properly than just electric heating.)