Thanks, Ed. With all these hints, I may end up sounding more
knowledgeable than the installer. That'll make him think. I'll keep
you informed of progress - probably not soon as I still have to pin
down a reliable heating engineer or next best person.