Round body would make a difference. Really clean used guns that are fairly common seem to actually sell for about 2/3 of new cost, so about $3k. Might need to take less based on current economic conditions. Prices seem to be softening on everything that is not absolutely top end.