Yeah, I think it was about $800...which is crazy. But they did do quite a number of little jobs here and there but it was still an expensive job considering what they actually did.
In the end, at least my car doesn't leak oil anymore (except for the power-steering pump).