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!