I have a customer with an old (1980ish) Royce compressor. It is in good shape but needs a front seal. Anybody know where they can be obtained since the last I heard, Royce moved to Brazil.