In reply to Fraser:
For the sake of clarification, I'm interested in what the best deal is on ropes which are 80 metres long and 10.2mm or less.
In terms of weight, ideally skinnier is better for my needs, but I would rather not blow £250 on super skinny 80m without consideration of the other options first...