I had it done at my usual garage, the bloke gave me a good rate because I've gone in so often with this damn car! He used an OEM gasket as far as I know, and I can't imagine they wouldn't have cleaned the old gasket off.
Might just take it back and get them to find the source of the leak, I don;t really have the time these days.