what you can do - call dealer parts dept asking if they have the
you can tell them your vin number. if they say they have or they can order, then you know you have a main pump. or you may not have it at all. nevertheless, do not change main pump until proven it's required. Looks like yours running ok it may not be the cause.
I have replied your another post below.