Does anyone know where i can get the RRP of a 35mm camera,?

Hi all, i've been clearing out my attic and found an olympia EF-135 brand new never touched but i cant seem to find out how much they are, i've been searching the internet for a couple days and cant find anything, can anyone help?