Average UK house price hits record high in October
Briefly