Ken,For the sake of completeness, there is a JVC camera which is dual format -- both AVCHD and a variant of HDV (which JVC in their wisdom have designated .TOD) which films to a hard disc. I don't think it is in your price range, though confess I can't quite remember the model number so cannot check. Be warned, though, that the one user who has it and who has come to this forum, also reports problems not only with the AVCHD aspect, but also in handling the unique TOD format.
In regards to the JVC camcorder, its the Everio HD-GZ40 which has a dual format of AVCHD & TOD(MPEG2 HD). I have used the TOD format and, in general, I have found that VS X2 Pro handle it well (but you will need to use smart proxy) except for the 'blip' issue with the transitions (which appears to be a common problem with among AVCHD type HD formats). Other than for the 'blip' issue I'm quite happy with the GZ40 & its TOD format, although I now appreciate what I don't have in the JVC that I could have had, in say, the Sony camcorder (optical stabliser and all those other lovely 'bells & whistles'). Oh well, only if the budget could have stretched for the top of the range Sony + a super duper PC...maybe next time around. Live and learn.
