
That seems like way too much.
I used my calculator & that came to $380

A restored pump cost about $650. I wonder what the restorers use? You would think it would be NOS as well.
There's no way to value it I guess.
I'll see if I can post a pic of it for anyone who hasn't
seen one.