Labour costs, including quality work, is relatively cheap over here. I'm guessing welders labour + mechanic labour will cost roughly 1/5th what a new pan & gasket would.
Agree a good weld will do the job, but we have a 3 week trip all over Greece coming up and I really don't want something...