crank sensor

Just had 90K major service done w/ my 92 NSX and noticed common sealant leak from camshaft sensor. Because of dealer parts' unknown backorder lead time, ordered from two vendors who offered the Honda OEM part, 37840-PR7-A03, to see if which one would come first as car was already in shop...