thats been up for sale several times James.
Never seems to sell, and not surprising imo at that price.
(I know it is a historical XE part, but it has no provenence)
I'll be using a modern alloy pump as its likely more efficient, and no one can see it anyway unless they get a mirror out, or you leave the rear bulkhead out
Its nice to see this stuff is still coming to the surface though.