First Screem, congrats for getting to 40k on stock chain tensioners! Mine failed on my '01 Blue at 37k as I recall (unfortunately I recently sold Blue and send along all the paperwork so I am going by memory here). Even though I rode the bike into the dealer, they said they were so far gone that damage was done so I had to replace the oil pump. cam plate, etc.. I went with the hydraulic chain tensioner conversion and one step up on Andrews cams. I saw the recommendation within to go gears but I was advised by my dealer that I should, with 37k miles be concerned about pinion run-out which could make the gears noisy. Might be something you want to inquire about if gears is a direction you are considering. My recollection was that with all the parts & labor it was $1,6xx out the door. You are very smart to get a ball-park price first. I did exactly the same thing and when the completion of the repair was delayed and I got the bike back with a bigger bill, about $2,200, I used their estimate to get them back to the original $1.6xx number.
Good luck with your repair.
Silvr