How long will it take to do an head gasket on a Volvo s40?

My service station quoted this as an 9 hour job (labor only) because I have a small leak in one of my cylinder head gaskets. Not sure if their estimate is accurate, but that's what they quoted.