Performer RPM Head Value

What do you guys think these are worth used?

I have a set of 84cc RPM's on my running showcar. I've been looking into a set of ported heads but getting mine done means throwing the springs and all the intake valves away as I would be getting new.

As a point of reference Summit sells them for 1,732$