I've never heard of the Theremin as a devotional instrument, but apparently it does happen: This
1965 vintage theremin has a great story - "My father, who is also a saw player, played it in his church ministry." Not totally sure that it's worth $3,000 (with two days to go), though. The top bidder is a very serious radio collector. (via Theremin World) UPDATE: Eric from Metasonix writes: "It wasn't made in 1965 - the owner's father bought it in 1965. It's an original RCA theremin from 1929. And $3000 is chicken feed for an UNRESTORED RCA in this condition. It should bring more like $10k. The top bidder, "firebottles", is a dealer. He will probably resell it. For a fat profit..."