Theoretical as the house is out of budget anyway, but would you go for a thatched roof? Just looked up cost of repair and it is up to £25,000!!!