The average UK house price was £3,000 ($4,000) lower in October than a record high reached the previous month, according to official figures. The typical property value in October was £268,000 ($354,000), down from a peak of £271,000 ($358,000) in September, the Office for National Statistics (ONS) said. A stamp duty holiday in England and Northern Ireland, which had sparked a rush of buyers, ended from October. Despite the fall, the average house price was still £24,000 ($31,000) higher than a year earlier. House prices increased by 10.2 percent over the year to October, slowing down from 12.3 percent growth in September. Average house prices increased over the year in Wales to a record level of £203,000 ($268,000) (15.5 percent annual growth), in England to £285,000 ($377,000) (9.8 percent), in Scotland to £181,000 ($239,000) (11.3 percent), and in Northern Ireland to £159,000 ($210,000) (10.7 percent). ONS head of economic statistics …