had a quick look on piston heads they seem to be going for about £3500 in that spec, everythings seemed to have slumed recently! good luck with the sale.