Got the bugger (positive lead) off! Ended up using a 1/2" ratchet + 5" extension + 5" wobble extension + 13mm six-sided socket. Just in an awkward position! Didn't have to remove the fuel cooler (but of course battery, battery box, ECU, intercooler hose, fan, fan belt and tensioner all...