e rock I have ran the 23 and 24 dollar Carters more than any of the ones listed there with no problems at all.
IMO your stock pump will suit your needs fine and do as you stated if you have problems.
Note the Carter Pumps are rebuildable but who would at the prices they sell for
RJ22