Just bought one of these on Ebay. See Ebay item no eBay Item No. 263536798516 Great price for a genuine filter. Handy if you do your own servicing! No connection or previous experience with the seller.

Thanks for the tip.
Just ordered one. Will keep in garage til next service. Now at the point when I learn something new something old is lost out the other side !
Now retired so it doesn't matter anymore.