Hi Martin,

Thank you for all your help, the threads/links you have provided us are really helpful.
My husband took out the pump and ordered the brush for it today. it was around $16.00 a whole lot better than $3k
Will keep you updated as we go along....thanks