Found a few new ones on line, both 5.5 and 7, for around 1100.
Good condition used ones on gunbroker are in the 900-1000 range, which started my question of whether to buy a new one. Just started looking, but haven't seen a used one under 800 local.