Anyone know of a source for these? Tuoma used to have them, right? Maybe there are some still kicking around... I've heard that one of the tradeoffs of a copper head gasket is that external oil leaks become a concern. Any thoughts on that? Best, Keith