Well I got mine a week ago it was in the old big box:
L824B277
09/17/08
one stuck sensor at 37

everything at stock 400x9 @3600 with 1.16 vcore prime stable so far will try more soon

does any one have this chip with asus rampage formula if so can you give me setting for 4GHz 24/7 to try