as far as i know yes.
got the recipt but havent had a proper look at it.
as this is only a second car its only going to be driven on the weekends and on a euro road trip so proberbly only see 4k next year and as it was only done last year or so (less than 2k miles) i cant see any hgf even if it was the original type gasket (which id assume its not as pretty much everywhere fits the uprated type). and if i find out it was the original type used then i can get it done cheep next winter at my cusins garage mates rates etc.