Can anyone with an ETKA or BTDT tell me if this is the correct part number for an X Plug and gasket (PS Pump) for a 93 S4. I got it from the AudiWorld FAQ, but stealer is telling me that it is correct for 200, 5k and V8. Just want to confirm. Also, what type of grease is best to use when installing the gasket? Thanks, Abe