Sorry, change of mind. Seems it's more economical to replace the chair. As well as needing new gas strut, the arm and the seat needed recovering, so just took it to local upholsterer who quoted 1200 baht to do the job. If I add another 150 baht for a strut I'm already up to the price of a new chair.