Experience with warranty service on Overseas in the US market?

I dropped off my 7900v yesterday at my VC boutique for warranty service. There is an odd sound when winding, the power reserve is not working and date skips when I try to change it. I assume that all of this is covered under warranty, which is 8 years, thankfully.

Does anyone have any experience with how long warranty service takes in the US? Just curious, because this is my daily driver. Guess I will have to dust off some of my other pieces. I was told they will send it to their service center in Dallas.

P.S. Got to try on the 222 in gold and the stainless overseas moonphase retrograde -- both are stunning.