Maybe this will help someone. I purchased on Jan6th, and got oil seals today(Jan24th)…they came from Spain and arrived here in west TX… I wasn’t in a hurry and it cost $40 total(w/ free shipping).
https://www.ebay.com/itm/2953687800...ar=593525121496&widget_ver=artemis&media=COPY
https://www.ebay.com/itm/2953687800...ar=593525121496&widget_ver=artemis&media=COPY