Looks like they sold at the $500 price, so that's one data point towards figuring out what those things are worth these days.
First thing I sold here on the board after I joined was a set of KB black finish valve covers I believe I sold them for $ 400 To John Schaefer.