I just had a valve job done on a Briggs 16 vanguard. Does anyone know how many labor hours are usually charged for this? I was charged for 6.5 hours. I trust the shop but to me it seems like a lot of hours for a valve job. I was figuring about half of that. What do you think?