Vallejo Paints. They are used as a final protective coat and can be mixed with the colors to modify their gloss characteristics.
eBay