What if Brent Mason had used the John Mayer TS-10/Klon lead tone on "Don't Rock the Jukebox?"