I see you are in CO... where abouts?
That is the list of parts you need... I will say since I am an OEM guy, that it may be worthwhile replacing with an OEM pump... some of the aftermarket ones may last 4, 40, or 140k, but I seem to see a lot of vehicles brought in with box store parts failing...