I think they are around the $80 mark for a street price in the US, but there have been some even better deals available- I am pretty certain that mine was bought for me by a forum member for around the $20 mark.
Def
Is that for the Core? Well I've seen them listed for £80, so double the price.
People like the banner members are a godsend to us in the UK. Without them, some tools are simply unaffordable to some of us.