OK, I boo booed. The pump listed is not a KRC pump, but an Afco pump. I found it on http://www.dragraceafco.com which is similar to the other site. On Afco's site, it lists the pump with the Afco part number whereas the other site did not have the Afco designation. So you have to flip for...