[PC] Bayonet Case Hardened [BS] with blue tip

hi guys, a friend of mine got this little guy in a case some weeks ago:

http://imgur.com/a/GUKyB

Float Value: 0.818945050239563 Paint Seed: 517

how much does it cost? or is it marketprice? I heard about how expensive blue tip case hardened knifes are...