That is one of them, the labels on the bottle have changed, and they have a black cap now, but its all the same thing:
Vallejo #510 Gloss Varnish
Vallejo #520 Matt Varnish
Vallejo #522 Satin Varnish (Satin is the same as Semi-Gloss, just one of those glass half empty/full things)
They are all good to go right out of the bottle to airbrush.
At one time, Vallejo had a Gloss, Matt and Satin in both the Model Color and the Air Color, both products were in fact the same in the bottle, and as such Vallejo has now done away with the versions in the Air Color line, and then re-labeled the ones in the Model Color line. In the end, all the same thing.