They are called Pump Toppers®, though I don’t if it is like Kleenex® where they are the name of the industry but not the only producers. I’ve looked up the trademark, which gives me a date for the trademark; but it doesn’t tell me if they were in wide use before 1994.
Were they around before that? How can I find out? I’ve had no luck hunting down Pump Topper Inc. or the guy who first applied for the trademark.
Thanks much.