An Introduction to Heat Pumped Hot Water Systems: How They Work and Why They're Efficient