OP he thank you very much, All, for all these useful answers!

I will use use glyphosate (or Weedol (Martin) -- I think I have some
somewhere), and then whizz over with the blowtorch in a couple of weeks.

Useful tips about blowtorch techniques too from Jake and Chris -- thank
you!

Cheers
John