Pics!

And if it makes you feel better, mine did the same pretty much bang on a year ago. Worst bit was I knew it needed changing

So, ended up costing £1350 But that included WRC gasket, head ported & polished, brand new ARP-style bolts, oil service, 16 brand new valves and guides etc.

On the plus side, if there is one, the top end is lovely and quiet