they do not look like JS1s or DX10D's.
here is why:
1. the one on the right has dot inlays, while the DX10D has fins. It's not a JS1 either because the bridge the guy has is much better. I would be able to tell more if I could see the controls.
2. the one on the left doesn't look like either one either for the same reasons, plus it looks like he has hotrail pickups, but his hand covers most of it so I am not certain.
If I had to guess, I'd say they are both custom Dinkys or Soloists.