i have never seen these for use by customers, but they’re very popular at the traditional street food (“grill”) places here in sweden still. Very convenient for the staff to just spritz some ketchup onto your fries before handing them to you.