Ya know... “trader Joe “might be funnier than “traitor Joe “ they’re both funny.
Agree. I got the pun and double-meaning right away :)