Thanks Bill for sharing!
I exchanged the timing belt cover last year.
And had a look for the bearing since that.
The only matching offer on ebay asked for 60GBP + S&H.
The seller was located inside the Ucraine.
Not quite sure but I guess it was a chopped JD9257 like this offer from Australia.
But my flange remover did a good job!
A RFBH is a very good idea to drive out the bearing.