I've seen most prices for replacement significantly lower than $10k - usually closer to $2-3k (https://www.6speedonline.com/forums/996/241595-ims-bearing-m...). Plus there are a few other things that are easy to do at the same time (like rear main seals).
