FWIW I'm fairly sure my 4000 has just the one pump, and that this is similar to the 5000?
If the 5030 is a 5k derivative then you may be right in terms of what you think but I do have some parts data here somewhere so will see what I can find (it's a heap of randomly-named PDF's though, so could take a while!).
FP.