I guess I’ll chime in since I don’t see anyone else taking the plunge. I think you’d be doing well to get in the 3500 range for each pump. They’re relatively common clockface pumps and, although beautifully restored, are not ones collectors are going to be very interested in...particularly restored.
If you had a store front or a way to retail market them, you may be able to do better than that. My evaluation is based on a “secondary market” or private sale situation.