All sounds rather expensive to me, although if your house is a massive 5 bed affair or a chalet-style house, 8k might not be far off.
For comparison I had a 3-bed 1930s semi done with Eternit slate for £3,500 ex VAT in London a few years ago. All three quotes were in the same region.