Okay, getting ready to do my 12k service/first valve check. What do you folks use to seal the new gasket up? Old posts talk about Three Bond 1209 as listed in the manual as being unavailable here in the US (they have an office in Cincy so I am going to call to found this out for myself). What specific brand are all you folks that do your own valves using? O2 sensor safe seems to be the main theme.