I have a blown oil pan gasket and it needs to be replaced.
Has anyone ever had this done by a shop? How much did it cost? The dealer in my area said $936, and a independent BMW shop quoted $550. Does this sound like too much? The car is a 92 325is.

I'm thinking about having the engine mounts replaced at the same time but the guy at the shop(the independent) said the savings would be minimal. Does that make sense? From what I can see in the repair manuals, it looks like they have to lift the engine a little to take out the oil pan so I thought it would be a good time to do it.
Am I wrong?

Any insights would be appreciated.
Thanks