Jaguar VI is a different beast than the Fender Bass VI.
The Jaguar VI is considered a baritone guitar...
The Bass VI has a 30" scale neck, the Jaguar Baritone has a 28.5" scale neck, and is typically strung B-b, rather than E-e.
Here's more info:
Fender Jaguar Baritone Custom - Wikipedia, the free encyclopedia
Either way, this seems like a pretty decent price... From what I can tell, they usually go for about $1100 or so.
I just wish I had the money, need, and proximity to the seller!