Lucky for sure. However I would show a little appreciation to the service Mgr. and the service guy that took care of you. Buy them a couple dozen donuts and let them know how much it is a appreciated. I have done this before and something this small goes along way. Glad to hear things worked out.
