How cheaply can a DVX100 or an XL2 be bought for?