Last trip to track - Nope! Coil went bad!?

I have been using the 8251 in my 66 Charger with a 7AL2 or 7AL2 plus for 15+ years street strip. One night after some Tnt at GLD I noticed the old Pro Power coil had leaked out it's cooling oil which necessitated the change. That was 2006-2008 ish. The 8251 and 8252 are my go to hotrod coils. The HVC II models are around $300 so I have avoided them (8253 and 8261).