If it's just timing chain, tensioner, guides, etc. it should be way less than $5k even at a dealer. I'd say dangerous to give them that much of a budget - they'd probably find a way to spend it. If it was me I'd tow to a good independent shop pretty quickly.