I can let mine go for $5k

(1.5 yrs engine warantee left & .5yr factory. Only 735 miles. j/k unless he wants it!
Seriously, have him check out dootalk.com. Lot of people selling o3 -o4's upgrading to the new o5's. Remind him not to over look the 500ss too. The 500ss with give the 600ho's a run for the money up to 95mph.