Ah, a good deal on a reference PJ.  Though still past my price point.  Oh wait, those aren't RS35, but the RS25.  Pretty much the same thing, but still . . .
If I knew before it was too late, the recent JVC RS20 sale over there, for $2999, as NIB (AFAIK), would probably have got me to swap out my RS1.  Now, THAT was a great value.  
OTOH, sometimes not knowing about great sales saves me money, haha.