Don't quote me as I am going from memory but I think it was in Spain where something like 30 of these were found and distributed through a secret group buy. To think though I could of bought two of these NOS for $500 a piece last year locally
but I did get one for a bit over $100 + shipping last year on eBay of all places BIN
Honestly the 5251's selling so high is ridiculous, they normally were going for $500 quite often and are far more common. They are big hulking beasts while these 3277's are much more usable.