There is no definitive answer to this, but the following might be helpful to you. Taking it out could cause more problems than leaving it.
http://www.gocompare.com/home-insurance/trees/
jordy - you asked a question and i answered!
Given that the trees have been outside our house for over 100 years I suspect their roots are a lot bigger than 4 inches