I'm looking at buying a used GCK60-BX for my 2230. Trying to figure out what a good price is (owner is asking $800). Also, if you have one, (a) what should a buyer look for? thanks!