All depends how in depth they go - $500 is a very good price for that to be installed, considering a pump is $200 odd and the belt is $100 odd. $200 for labour for that sorta job? bargain. But i bet they didnt purge the oil, replace the oil, replace the oil filter, dump the coolant, flush the radiator, refill the radiator, dump the gearbox oil, refil with gearbox oil, dump attessa fluid, bleed the system, refil it, check CV joints, bushes, check brake pads, dump, flush and replace brake fluids with decent dot4 etc
Minor services are cheap enough but with a major you generally get what you pay for if they check everything thoroughly. I can't speak for many workshops but I know boostworx always give conservative quotes, and they are very thorough. I've been totally happy with their work lately and will be going back in a cpl weeks for my attessa system to get fixed properly
-D