I use my HD500 with a JTV-59 every Sunday also. I run direct to the PA system, and use a personal in-ear monitor mix.
I love the flexibility to switch to acoustic tones on the JTV between, or in the middle of, a song.
I have just never settled into any patches that I really like for electric. I've never been really good at dialing in tones on amps, and you just have too many choices with these.
I just switched from an X3L, it took me about 3 years to finally get the X3L really dialed in the way I liked. I don't remember which models I was using on that, but they aren't available on the HD500.
I switched to the HD500 to get the midi control. We use backing rhythm tracks because we don't have drums or bass, and I use the HD500 to control Ableton-Live via midi.
On the Variax I'm using the magnetics for my electric tones, and use the Variax modeling only to get acoustic tones.
Most of our songs come from the CCLI top 100 (Mighty to Save, How He Loves, Glorious Day, Happy Day, Redeemed, Revelation Song, etc...) You know... Pretty standard praise and worship type stuff these days.... Matt Redman, Tim Hughes, Chris Tomlin, Lincoln Brewster....
I cant remember what my current tones are based on, but I believe it is one of the blackface models... Tube screamer, digital delay, wah and fuzz...
Whatever it is, I get a decent clean tone, a usable slightly overdriven tone, but just cant get a really heavy tone I like (however, I'm not quite satisfied with any of them)
I like to keep it down to 4 tones (including my acoustic one) to keep it in a single bank. Anything more than that just starts to get confusing.