No, don't top it up as you shouldn't mix oils unless it can't be avoided. If you don;t fancy doing it yourself you could always buy the oil of your choice and give it to the garage to use, then you can your own top-ups. My 1.8T hardly ever used a drop of oil though, so I would keep an eye out for excessive useage after the oil change.