I've just rebuilt an Ormerod for a Makerspace in Liverpool, and they are currently running on a board loaned from me, and don't have the IR sensor or metal arm. What county are you from?
I know these kits were north of £450 new, but alas aren't holding value in the face of the new duets and rigid mendel 90s/prusas/knockoffs and super cheap current entry level kits. I paid 80 on ebay for one with metal bed and arm, but toasted control card. Earlier last year I think it cost me around 140 to import a new old stock kit back from Australia. I'd consider an offer somewhere between the two, is that in the right ball park for you?