That theory does make sense because I can not find anything at all on this pump, just the whole assembly as you mentioned, which at looks like it costs at a minimum $1750. I am interested in used if anyone has anything available. Used even seems very hard to come by.