Been offered 9.5 multiple times for my hardtop absolutely stock, so this with the add ons may fetch considerably higher. 1999-2000 have weird resale, I've seen them go for as low as 5 and as high as 13.9(yes, that's rebaarn budget).
So true, 12 may be optimistic, but not to a blasphamous extent.