Just a thought, but if the belts etc were changed, and then 200 miles later the pump failed, you may find the pump is ok.
If the tensioner was not set properly, the belt will move over a period of time.
You need to scan with VCDS and check for pump related codes. If you have any, clear them, and them try and start the car. If the car doesn't start, a look at Block 19 in the engine module will tell you what the dynamic start injection is (should be between 2.0 ATDC to 4.7 BTDC). If it is not, adjust the pump sprocket until it is within limits. If it does start, check the dynamic timing using Block 4, Basic setting, TDI Timing. The car will rev up and down a little as the timing is changed between advance and ******.
If this is the case, you could save yourself a lot of hassle and money!