Anyone know if they're woodruff key?
250 sounds good if they're using a decent belt kit and might as well have the water pump while it's there.
I'd do yourself a favour and get them to replace the 4 allen key bolts holding the main pulley to the crank gear. I always do it now, any VW that I do a belt on I automatically order those four bolts.