"Individuals will certainly buy these pumps whether they are operating or not, but if they are antiques and working they will certainly be worth practically twice as much." . . . .