@vintageman
WD-40, yes, tried that, the oil helps to cut bits (by actually oiling the blade) but it's tedious. I did not yet try mechanical, but I think torching will be the most effective. For now, it's far down my todo, i'll keep this fun mess removal for the winter days...
Thx for the...