With the head off already it's only man hours, so a lot less than 700.
I remember about 16 years ago when I burnt a valve out on my .......Metro GTI!! Haha, and I had the head ported and flowed at the same time. Must have made all of 3 bhp difference to the little k series! Oh the memories.