Vintage HP 12C RPN Financial Calculator with Case & Manual in orig box VGC 1992?