I would definitely take a dvx100 over a XL1, but I haven't been able to find one near that price. I would just wait and save up for a DVX100A but I need it for school as soon as possible.
They're around. Just look hard and be patient. My first DVX was around $US 2000 used, and that was back in January of 2004, so you should be able to find something like that now for sure.