Try a different dealer. I simply called some local dealers and got quotes. Seems to range between $105-120. I went to one that charged a bit more as they were the only ones that could do it while I waited. I was there about an hour. However, the service guys did tell me that if this did not solve the problem, that they would need to replace the ABS module. Given this is a problem with the ABS/VDC system, not sure why the dealer you went to would even suggest replacing the booster. The issue also reappeared for me last week. But that's the only incident so I'm gonna see if it occurs again. At that point I do want to confirm the reprogram was done correctly as the TSB mentions no further instructions if the issue reoccurs.
"Bad Driver's Famous Last Words:
Watch This!