In article ,
Parish wrote:
If you want to take a chance and DIY, the sensor was £51.13+VAT (12
months ago).

Crikey - that's cheap. The older 'flapper' type on mine is over 300 quid.

--
*Also too, never, ever use repetitive redundancies *

Dave Plowman London SW
To e-mail, change noise into sound.