they have been superceeded with a 997 part number scott divextreme jsut went through this and put a 1500$ set of lifters in his car with the latest part number.

the labor to replace these lifters is quite pricey your looking at 5000 or so to tackle this job if they are not causing you any issues right now.