Trying to help a neighbor out. He has a 6Hp 60 gallon craftsman air compressor that won't shut off when up to pressure. He figures it is a bad pressure switch but can't figure out what switch to use. The plate that would have the model # is unreadable. He thinks the compressor was manufactured in 1992. Can anyone help?