Yeah, sounds good for dealer. Probably closer to 3.5 hours for an experienced mechanic. The VCR books at an hour, but should be included in a vanos job.
The only issue is if they try to cowboy the vanos and **** up the rings they can't just call up the local parts guy for a replacement. Make sure they follow the instructions or have done it before.