Has anyone heard of Shark valves? A friend has some he bought several years ago and did not use them. They are 2.30 int and 1.99 or 1.98 exh stainless valves. Said $100 for the set. Could not find them on the web. Thanks.