I've not really played much with different springs for an 80. I've been told that the TX spring may not be quite up to the task for this application. However, as you have it already, personally, I'd be tempted to give it a try and see how it goes. I see Will of Welsh Willy fame is now doing a replacement spring of his own design with thinner gauge wire and Monsieur Tinbum, I think, was about ready to launch his own for the 30mm HWs, so you have a good few options to go at.