Hi everyone, I'm wondering what I should reasonably expect to pay for the above, assuming of course premium oil is used? I've gone back to a garage I used many years ago, father and son team, who are complete geniuses with finding and sorting odd problems. But Covid has left me hard up, and the quoted price is rather more than I've paid for the same thing on other cars. Please tell me your experiences/opinions! Many thanks.