[Vwdiesel] head gasket replacement

[mikitka]

Not that I would think, the stud for the timing belt tensioner pulley comes
out making it easy to remove the head without having to mess with the
shroud. The only issue might be clearance getting the head to come straight
up if you have a turbo and leave it all connected since the engine tilts
back slightly.
Nick
 

Has anyone that has studs installed replaced a head gasket? If so, do the
studs need to be removed to get the end of the cam shaft to clear the shroud
on the timing belt end?