Couldn't find it before but will have another look? Would at least be the mint issue price of $3100 right??