I replaced my head gasket at around 98,000 miles & she's run beautifully ever since. I think the £1,000 quote is a bit steep, but it could go either way once fixed.
Favourite extra costs include needing to skim the head & block as they're warped.
My view is this, get a good quality head gasket...