[robbie]

Not implying an answer either way, but a more extreme / parallel example:
Eephus pitch and batter literally swings twice - Not a double pump, but true swing. First is a whiff, second is a "hit."
What say you?