The song played by the mechanical Theremin is definitely "Crazy"
by Gnarls Barkley.  Ms. Jones may be confusing the tune "Crazy" by
Britney Spears, which is much more of a major key than this song is.
That machine is quite ingenious too, by the way!

M. B. Miller